1

ABRAMSON, N. 1970 The ALOHA system--Another alternative for computer communications. In Proc AFIPS Fall dt Computer Con{, vol. 37. AFIPS Press, Arhngton, Va., pp 281-285

2

ANDERSON, J 1972. Computer security technology planning study, vols 1 and 2 ESD-TR-73-51, AF Electronic Systems Division, Hanscom Air Force Base, Mass.

3

BARAN, P 1964. Distributed Communlcatwns Vol. 9, Security, Secrecy, and Tamper{ree Considerations, RM-3765-PR Rand Corp

4

BRANSTAO, D. 1973. Security aspects of computer networks. In Proc AIAA Computer Network Systems Conf (Huntsville, Ala., Apr ).

5

BRANSTAD, D. K 1975 Encryptlon protection m computer data commumcatlons In Proc 4th Data Communtcattons Syrup (Quebec, Oct 7-9) IEEE, New York, pp 8-1-8-7

6

BURRUSS, J., ET AL 1981. Specification of the transport protocol BBN Rep. 4590, Bolt, Beranek and Newman, Cambridge, Mass.

7

CERF, V, AND KABN, R 1974 A protocol for packet network intercommumcatlon IEEE Trans Commun COM-22, 5 (May), 637-648

8

CERr, V., AND KiRSTEIN, P T. 1978. Issues in packet-network mterconnectlon. Proc iEEE (Nov).

9

DEFENSE COMMUNICATIONS AGENCY. 1982. Defense data network program plan.

10

DIFFIE, W., AND HELLMAN, M. 1976. New directions in cryptography. IEEE Trans Inf Theory IT- 22, 16 (Nov.), 644-654.

11

EHRSAM, W., MATYAS, S., MEYER, C., AND TUCHMAN, W. 1978. A cryptographlc key management scheme for implementing the Data Encryptwn Standard. IBM Syst. J. 17, 2, 106-125.

12

FARBER, D., AND LARSON, K. 1972. The structure of a distributed computer system--Commumcatwns. In Proc. Syrup. Computer-Communwatwns Networks and Te!etraffic (Apr.). Microwave Research Institute of Polytechmc Institute of Brooklyn, Brooklyn, N.Y.

13

FE!STEL, H., NOTZ, W., ANO SMITH, J. 1975. Cryptographic techniques for machine to machine data communications. Proc IEEE 63, 11 (Nov.), 1545-1554

14

HEINRICH, F. 1978. The network security center: A system level approach to computer network security, vol. 2. NBS Special Publ. 500-21, Government Printing Office, Washington, D.C.

15

INTERNATIONAL ORGANIZATION FOR STANDARDIZA- TION 1980. Data processing--Open systems interconnection--Basic reference model. ISO/ TC97/SC16 N537, rev Available from American National Standards Institute, New York.

16

R. R. Jueneman , S. M. Matyas , C. H. Meyer, Message Authentication with Manipulation Detection Code, Proceedings of the 1983 IEEE Symposium on Security and Privacy, p.33, April 25-27, 1983

17

KAHN, D 1967 The Code Breakers. Macmillan, New York.

18

KAHN, R E 1967. The orgamzation of computer resources into a packet radio network. In Proc Nat. Computer Conf., vol. 44. AFIPS Press, Arhngton, Va., pp. 177-186.

19

P. A. Karger, NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED COMPUTING SYSTEMS, Massachusetts Institute of Technology, Cambridge, MA, 1977

20

S. Kent, ENCRYPTION-BASED PROTECTION PROTOCOLS FOR INTERACTIVE USER-COMPUTER COMMUNICATION, Massachusetts Institute of Technology, Cambridge, MA, 1976

21

Stephen Thomas Kent, Encryption-based protection for interactive user/computer communication, Proceedings of the fifth symposium on Data communications, p.5.7-5.13, September 27-29, 1977, Snowbird, Utah, United States  [doi>10.1145/800103.803345]

22

MATYAS, S, AND MEYER, C 1978. Generation, dmtrlbutlon, and installation of cryptographic keys. IBM Syst J 17, 2

23

MERKLE, R., AND HELLMAN, M. 1978. H~ding information and signatures m trapdoor knapsacks. IEEE Trans Inf. Theory IT-24, 5 (Sept.), 525-530.

24

Ralph C. Merkle , Martin E. Hellman, On the security of multiple encryption, Communications of the ACM, v.24 n.7, p.465-467, July 1981  [doi>10.1145/358699.358718]

25

Robert M. Metcalfe , David R. Boggs, Ethernet: distributed packet switching for local computer networks, Communications of the ACM, v.26 n.1, p.90-95, Jan. 1983  [doi>10.1145/357980.358015]

26

MEYER, C., AND TUCHMAN, W. 1972. Pseudorandom codes can be cracked. Electron Des. (Nov.).

27

NATIONAL BUREAU OF STANDARDS. 1977. Data Encryption Standard. Federal Information Processmg Standards Publ. 46, Government Printing Office, Washington, D.C.

28

NATIONAL BUREAU OF STANDARDS. 1980a. DES modes of operation. Preliminary Copy of Federal Information Processing Standards Publ., Government Printing Office, Washington, D C.

29

NATIONAL BUREAU OF STANDARDS. 1980b. Telecommumcatlons: Interoperabllity and security reqmrements for use of the Data Encryption Standard m data communication systems. Proposed Federal Standard 1026, Government Printing Office, Washington, D.C.

30

Roger M. Needham , Michael D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM, v.21 n.12, p.993-999, Dec. 1978  [doi>10.1145/359657.359659]

31

PETERSON, W., AND WELDON, E. 1972. Error Correcting Codes 2d ed MIT Press, Cambridge, Mass.

32

Louis Pouzin, Presentation and major design aspects of the CYCLADES computer network, Proceedings of the third ACM symposium on Data communications and Data networks: Analysis and design, p.80-87, January 1973  [doi>10.1145/800280.811034]

33

R. L. Rivest , A. Shamir , L. Adleman, A method for obtaining digital signatures and public-key cryptosystems, Communications of the ACM, v.21 n.2, p.120-126, Feb. 1978  [doi>10.1145/359340.359342]

34

SALTZER, J., AND SCHROEDER, M. 1975. The protection of information in computer systems. Proc. IEEE 63, 9 (Sept.), 1278-1308.

35

SAVAGE, J 1967 Some simple self-synchromzmg data scramblers. Bell Syst. Tech J 42, 2 (Feb.), 449-487

36

SHANNON, C 1949 Communication theory of secrecy systems. Belt Syst Tech. J 28, 4 (Oct.), 656-715

37

SUNSHINE, C 1980. Transport protocols for computer networks In Protocols and Techntques for Data Communications Networks. Prentice-Hall, Englewood Chffs, N.J.

38

TELENET COMMUNICATIONS CORPORATION 1975. Host ~nterface specifications. Washington, D.C

39

VOYDOCK, V, AND KENT, S. 1981. SecunW in higher level protocols: Approaches, alternatives, and recommendauons. BBN Rep. 4767, Bolt, Beranek, and Newman, Cambridge, Mass. Also available as National Bureau of Standards 1981, Rep ICST/HLNP--81-19, Government Printing Of. rice, Washington, D.C

M. Burrows , M. Abadi , R. Needham, A logic of authentication, ACM SIGOPS Operating Systems Review, v.23 n.5, p.1-13, Dec. 3–6, 1989

Howard L. Johnson , John F. Koegel , Rhonda M. Koegel, A secure distributed capability based system (extended abstract), Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.392-402, October 1985, Denver, Colorado, United States

Brenda Timmerman, A security model for dynamic adaptive traffic masking, Proceedings of the 1997 workshop on New security paradigms, p.107-116, September 23-26, 1997, Langdale, Cumbria, United Kingdom

M. Satyanarayanan , John H. Howard , David A. Nichols , Robert N. Sidebotham , Alfred Z. Spector , Michael J. West, The ITC distributed file system: principles and design, ACM SIGOPS Operating Systems Review, v.19 n.5, p.35-50, Dec. 1-4, 1985

Li Gong , Nachum Shacham, Multicast security and its extension to a mobile environment, Wireless Networks, v.1 n.3, p.281-295, 1995

Rein Turn, Security and privacy requirements in computing, Proceedings of 1986 ACM Fall joint computer conference, p.1106-1114, November 1986, Dallas, Texas, United States

J. Murai , H. Kusumoto , S. Yamaguchi , A. Kato, Construction of internet for Japanese academic communities, Proceedings of the 1989 ACM/IEEE conference on Supercomputing, p.737-746, November 12-17, 1989, Reno, Nevada, United States

Michael Burrows , Martin Abadi , Roger Needham, A logic of authentication, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.18-36, Feb. 1990

Andrew D. Birrell, Secure communication using remote procedure calls, ACM Transactions on Computer Systems (TOCS), v.3 n.1, p.1-14, Feb. 1985

Chris Maeda , Brian N. Bershad, Protocol service decomposition for high-performance networking, ACM SIGOPS Operating Systems Review, v.27 n.5, p.244-255, Dec. 1993

Christos Douligeris , Thanos Vasilakos, Mobile IP protocols, Handbook of wireless networks and mobile computing, John Wiley & Sons, Inc., New York, NY, 2002

Butler Lampson , Martín Abadi , Michael Burrows , Edward Wobber, Authentication in distributed systems: theory and practice, ACM SIGOPS Operating Systems Review, v.25 n.5, p.165-182, Oct. 1991

David K. Gifford , Nathan Glasser, Remote pipes and procedures for efficient distributed communication, ACM Transactions on Computer Systems (TOCS), v.6 n.3, p.258-283, Aug. 1988

Butler Lampson , Martín Abadi , Michael Burrows , Edward Wobber, Authentication in distributed systems: theory and practice, ACM Transactions on Computer Systems (TOCS), v.10 n.4, p.265-310, Nov. 1992

Michael K. Reiter, Secure agreement protocols: reliable and atomic group multicast in rampart, Proceedings of the 2nd ACM Conference on Computer and communications security, p.68-80, November 1994, Fairfax, Virginia, United States

John F. Koegel , Rhonda M. Koegel , Zhiming Li , Dattaram T. Miruke, A security analysis of VAX VMS, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.381-386, October 1985, Denver, Colorado, United States

M. Satyanarayanan, Integrating security in a large distributed system, ACM Transactions on Computer Systems (TOCS), v.7 n.3, p.247-280, Aug. 1989

T. Lomas , L. Gong , J. Saltzer , R. Needhamn, Reducing risks from poorly chosen keys, ACM SIGOPS Operating Systems Review, v.23 n.5, p.14-18, Dec. 3–6, 1989

Michael K. Reiter , Kenneth P. Birman , Robbert van Renesse, A security architecture for fault-tolerant systems, ACM Transactions on Computer Systems (TOCS), v.12 n.4, p.340-371, Nov. 1994

Michael K. Reiter , Kenneth P. Birman, How to securely replicate services, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.986-1009, May 1994

M. Bishop, UNIX security in a supercomputing environment, Proceedings of the 1989 ACM/IEEE conference on Supercomputing, p.693-698, November 12-17, 1989, Reno, Nevada, United States

Deborah Estrin , Martha Steenstrup , Gene Tsudik, A protocol for route establishment and packet forwarding across multidomain internets, IEEE/ACM Transactions on Networking (TON), v.1 n.1, p.56-70, Feb. 1993

Wen-Pai Lu , Malur K. Sundareshan, A Model for Multilevel Security in Computer Networks, IEEE Transactions on Software Engineering, v.16 n.6, p.647-659, June 1990

Mohamad R. Neilforoshan, Network security architecture, Journal of Computing Sciences in Colleges, v.19 n.4, p.307-313, April 2004

Martín Abadi , Roger Needham, Prudent Engineering Practice for Cryptographic Protocols, IEEE Transactions on Software Engineering, v.22 n.1, p.6-15, January 1996

Rajashekar Kailar, Accountability in Electronic Commerce Protocols, IEEE Transactions on Software Engineering, v.22 n.5, p.313-328, May 1996

Michael K. Reiter, A Secure Group Membership Protocol, IEEE Transactions on Software Engineering, v.22 n.1, p.31-42, January 1996

Charles E. Perkins, Mobile Networking Through Mobile IP, IEEE Internet Computing, v.2 n.1, p.58-69, January 1998

Marie A. Wright, Communication security in a distributed network, ACM SIGSAC Review, v.7 n.4, p.1-6, Winter 1990

Marie A. Wright, Security services in the OSI reference model, ACM SIGSAC Review, v.10 n.1, p.37-43, Winter 1992

Brijesh Kumar, Integration of security in network routing protocols, ACM SIGSAC Review, v.11 n.2, p.18-25, Spring 1993

S. Kent, Comments on “security problems in the TCP/IP protocol suite”, ACM SIGCOMM Computer Communication Review, v.19 n.3, p.10-19, July 1989

Michael Hohmuth , Michael Peter , Hermann Härtig , Jonathan S. Shapiro, Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors, Proceedings of the 11th workshop on ACM SIGOPS European workshop: beyond the PC, September 19-22, 2004, Leuven, Belgium

Jon Howell , David Kotz, End-to-end authorization, Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, p.11-11, October 22-25, 2000, San Diego, California

David Wagner , Bruce Schneier, Analysis of the SSL 3.0 protocol, Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce, p.4-4, November 18-21, 1996, Oakland, California

Lei Tang, A set of protocols for micropayments in distributed systems, Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce, p.8-8, July 11-12, 1995, New York, New York

Steven M. Bellovin, Problem areas for the IP security protocols, Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography, p.21-21, July 22-25, 1996, San Jose, California

Gene Tsudik, Message authentication with one-way hash functions, ACM SIGCOMM Computer Communication Review, v.22 n.5, p.29-38, Oct. 1992

Michael Burrows , Martín Abadi , Roger Needham, Rejoinder to Nessett, ACM SIGOPS Operating Systems Review, v.24 n.2, p.39-40, April 1990

Armin Liebl, Authentication in distributed systems: a bibliography, ACM SIGOPS Operating Systems Review, v.27 n.4, p.31-41, Oct. 1993

Li Gong, A security risk of depending on synchronized clocks, ACM SIGOPS Operating Systems Review, v.26 n.1, p.49-53, Jan. 1992

Victor L. Voydock: colleagues

Stephen T. Kent: colleagues