Safety and security of programmable network infrastructures

IEEE Communications Magazine

Volumn 36, Issue 10, 1998, Pages 84-92

  Alexander, D Scott ^a,b   Arbaugh, William A ^a,c,d,e,f,g   Keromytis, Angelos D ^a,h,i   Smith, Jonathan M ^a,g,j  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b RICE UNIVERSITY   (United States)

^c ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

^d U S ARMY   (United States)

^e Och Spine at New York Presbyterian Hospitals   (United States)

^f UNITED STATES MILITARY ACADEMY   (United States)

^g ACM   (United States)

^h UNIVERSITY OF CRETE   (Greece)

ⁱ ROTHAMSTED RESEARCH   (United Kingdom)

^j LUCENT TECHNOLOGIES   (United States)

more..

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAMMABLE NETWORK INFRASTRUCTURES;

ACCIDENT PREVENTION; INTERNET; SECURITY OF DATA; TELECOMMUNICATION NETWORKS;

COMPUTER NETWORKS;

EID: 0032183845     PISSN: 01636804     EISSN: None     Source Type: Journal    
DOI: 10.1109/35.722141     Document Type: Article

References (18)

1. D. S. Alexander et al., "A Secure Active Network Environment Architecture: Realization in SwitchWare," IEEE Network, 1998.
2. R. W. Mitze et al, 3B20D Processor and DMERT as a Base for Telecommunications Applications, Bell Sys. Tech. J., vol. 62, no. 1, Jan. 1983, pp. 181-90.
3. Bellcore, "AIN Release 1 Service Logic Program Framework Generic Requirements."
4. J. M. Smith, "A Survey of Process Migration Mechanisms," ACM SIGOPS Op. Sys. Rev., July 1988, pp. 28-40.
5. R. Forchheimer and J. Zander, "Softnet - Packet Radio in Sweden," Proc. AMRAD Conf., 1981.
6. C. Pu et al., "The Synthesis System," Comp. Sys., vol. 1, no. 1, 1988.
7. R. Perlman, Interconnections: Bridges and Routers, Reading, MA: Addison-Wesley, 1992.
8. G. C. Necula, "Proof-carrying code," Proc. 24th Annual ACM SIGPLANSIGACT Symp. Principles of Programming Languages (POPL '97), ACM Press, 1997.
9. R. Milner, J. Parrow, and D. Walker, "A calculus of mobile processes," Info, and Comp., 1992, pp. 1-77.
10. B. C. Pierce and D. N. Turner, Pict: "A Programming Language based on the picalculus," Tech. rep. CSCI 476, CS Dept., Indiana Univ., MIT Press, 1998.
11. D. J. Wetherall, J. Guttag, and D. L. Tennenhouse, "ANTS: A toolkit for building and dynamically deploying network protocols," Proc. IEEE OpenArch '98, 1998.
12. D. C Feldmeier et al., "Protocol Boosters," IEEE JSAC, Apr. 1998, pp. 437-43.
13. D. S. Alexander et al., "Active Bridging," Proc. 1997 ACM SIGCOMM, 1997.
14. D. Scott Alexander, "ALIEN: A Generalized Computing Model of Active Networks," Ph.D. thesis, Univ. Penn., 1998.
15. W. A. Arbaugh, D. J. Farber, and J. M. Smith, "A secure and reliable bootstrap architecture," IEEE Security and Privacy Conf., May 1997, pp. 65-71.
16. W. A. Arbaugh et al., "Automated recovery in a secure bootstrap process," Internet Soc. 1998 Symp. Network and Dist. Sys. Security, Mar. 1998, pp. 155-67.
17. M. Blaze, et al., "The keynote trust management system," Work in progress, Aug. 1998.
18. A. Jeffrey and I. Wakeman, "A Survey of Semantic Techniques for Active Networks," 1997; http://www.cogs.susx.ac.uk/users/ianw/papers/ an-survey.ps.gz