#A#Abbott, R. P.#
#A#Chin, J. S.#
#A#Donnelley, J. E.#
#A#Konigsford, W. L.#
#A#Tokubo, S.#
#T#Security Analysis and Enhancements of Computer Operating Systems#
#Y#1976#
#K#Security#
#K#Operating Systems#
#F#Abbott, R. P.; Chin, J. S.; Donnelley, J. E.; Konigsford, W. L.; Tokubo, S. Security Analysis and Enhancements of Computer Operating Systems. 1976 Apr. California Univ Livermore. RISOS Project NTIS PB-257 087/7 /security/operating systems.#
#N##

#A#Abbott, Russell J.#
#T#Resourceful Systems for Fault Tolerance, Reliability and Safety#
#S#ACM Computing Surveys#
#Y#1990#
#Z#1#
#K#Fault Tolerance#
#K#Software Fault Tolerance#
#K#Reliability#
#K#Software Reliability#
#K#Safety#
#K#Software Safety#
#K#Logic Programming#
#K#N-version#
#K#Programming#
#K#Object-oriented Programming#
#K#Planning#
#K#Prolog#
#K#Recovery#
#K#Blocks#
#K#Resourceful Systems#
#F#Abbott, Russell J. Resourceful Systems for Fault Tolerance, Reliability and Safety. ACM Computing Surveys. 1990 Mar; 22(1): 35-68. /Fault Tolerance/Software Fault Tolerance/Reliability/Software Reliability/Safety/Software Safety/Logic Programming/N-ver
sion Programming/Object-oriented Programming/Planning/Prolog/Recovery Blocks/Resourceful Systems.#
#N##

#S#ABCA Armies Standardization Program#
#T#Principles and Characteristics of Interoperability Security#
#Y#1984#
#K#Security#
#F#ABCA Armies Standardization Program, Principles and Characteristics of Interoperability Security. 1984. P-258945, Quadripartite Working Group,US/UK/Canada/Australia /security.#
#N##

#A#Abene, P. V.#
#T#Secure Commercial Digital Communications#
#Y#1977#
#K#Security#
#K#Communications#
#K#Commercial security#
#F#Abene, P. V. Secure Commercial Digital Communications. 1977 Jul. Air Force Inst of Tech Wright-Patterson AFB Ohio NTIS AD-A046 887/6 /security/communications/commercial security.#
#N##

#A#Abrams, Marshall#
#A#Podell, H. J.#
#T#Computer and Network Security: tutorial#
#Y#1986#
#S#IEEE Computer Society Press#
#K#Security#
#K#Networks#
#K#Tutorial#
#F#Abrams, M. D.; Podell, H. J. Computer and Network Security: tutorial. 1986. IEEE Computer Society Press /security/networks/tutorial.#
#N##

#A#Abrams, Marshall#
#A#Eggers, Kenneth#
#A#LaPadula, Leonard#
#A#Olson, Ingrid#
#T#A Generalized Framework for Access Control: An Informal Description#
#S#National Computer Security Conference#
#Y#1990#
#F#Abrams, Marshall; Eggers, Kenneth; LaPadula, Leonard; Olson, Ingrid (MITRE Corp). A Generalized Framework for Access Control: An Informal Description. in: 13th National Computer Security Conference; 1990 Oct 1; Washington. USA: NIST; 1990; 1: 135-143.#

#N##

#A#Abrams, Marshall#
#A#Heaney, Jody#
#A#King, Osborne#
#A#LaPadula, Leonard#
#A#Lazear, Manette#
#A#Olson, Ingrid#
#T#Generalized Framework for Access Control: Towards Prototyping the ORGCON policy#
#S#National Computer Security Conference#
#Y#1991#
#Z#2#
#K#Access Control#
#K#ORGCON#
#F#Abrams, Marshall; Heaney, Jody; King, Osborne; LaPadula, Leonard; Lazear, Manette; Olson, Ingrid (The MITRE Corporation). Generalized Framework for Access Control: Towards Prototyping the ORGCON policy. in: 14th National Computer Security Conference; 1
991 Oct; Washington. USA: NIST/NCSC; 1991; 1: pp.257-266. /Access Control/ORGCON.#
#N##

#A#Abrams, Marshall#
#A#Schwartz, Martin W.#
#A#Schaen, Samuel I.#
#T#STRAWMAN Trusted Network Interpretation Environments Guideline#
#S#NCSC#
#Y#1988#
#Z#3#
#K#Security#
#K#Multilevel Security#
#K#Risk assessment#
#K#Environments#
#K#Networks#
#K#TCSEC#
#K#TNI#
#K#TNIEG#
#F#Abrams, Marshall; Schwartz, Martin W.; Schaen, Samuel I. (MITRE Corporation). STRAWMAN Trusted Network Interpretation Environments Guideline. 11th NCSC; 1988 Oct 17; Baltimore. USA: NBS/NCSC: pp.194- 200. /security/multilevel security/risk assessment/E
nvironments/networks/TCSEC/TNI/TNIEG.#
#N##

#A#Abramson, N.#
#T#The ALOHA system - another alternative for computer communications#
#Y#1970#
#S#AFIPS Conf. Proc.#
#Z#4#
#K#ARPANET#
#K#Networks#
#K#ALOHA#
#K#Packet radio#
#K#Protocols#
#F#Abramson, N. The ALOHA system - another alternative for computer communications. 1970. AFIPS Conf. Proc. 37 (FJCC) pp.281-285 /ARPANET/networks/ALOHA/packet radio/protocols.#
#N##

#A#Abrial, Jean R.#
#T#The Specification Language Z: Syntax and Semantics.#
#Y#1980#
#Z#5#
#K#Formal Specification#
#K#Languages#
#K#Z#
#F#Abrial, Jean R. The Specification Language Z: Syntax and Semantics. 1980 Apr. Oxford University Programming Research Group /Formal Specification/Languages/Z.#
#N##

#A#Accetta, M. J.#
#A#Robertson, G. G.#
#A#Satyanarayanan, M.#
#A#Thompson, M.#
#T#The Design of a Network-Based Central File System.#
#K#Distributed Systems#
#K#Networks#
#K#File servers#
#F#Accetta, M. J.; Robertson, G. G.; Satyanarayanan, M.; Thompson, M. (Carnegie Mellon University). The Design of a Network-Based Central File System. Pittsburgh: Carnegie Mellon University; 1980 Aug; Tech Rep CMU-CS-80-134. /Distributed Systems/networks/
file servers.#
#N##

#A#Achinstein, P.#
#T#The Nature of Explanation.#
#Y#1983#
#K#Knowledge#
#F#Achinstein, P. The Nature of Explanation. 1983. Oxford University Press /knowledge.#
#N##

#A#Achugbue, J. O.#
#A#Chin, F. Y.#
#T#The Effectiveness of Output Modification by Rounding for Protection of Statistical Databases.#
#Y#1979#
#S#Inform. Control#
#K#Rounding#
#K#Inference#
#K#Statistical Databases#
#K#Databases#
#F#Achugbue, J. O.; Chin, F. Y. The Effectiveness of Output Modification by Rounding for Protection of Statistical Databases. 1979. Inform. Control 17(3) pp.209-218 /Rounding/Inference/Statistical Databases/databases.#
#N##

#A#Achugbue, J. O.#
#A#Chin, F. Y.#
#T#Output perturbation for protection of statistical data bases.#
#Y#1978#
#K#Inference#
#K#Statistical Databases#
#K#Databases#
#F#Achugbue, J. O.; Chin, F. Y. Output perturbation for protection of statistical data bases. 1978 Jan. Dept Computing Science, Univ. Alberta, Edmonton, Canada /Inference/Statistical Databases/databases.#
#N##

#A#Ackerman, A. Frank#
#A#Buchwald Lynne S.#
#A#Lewski, Frank H.#
#T#Software Inspections: An Effective Verification Process.#
#S#IEEE Software#
#Y#1989#
#K#Verification#
#F#Ackerman, A. Frank; Buchwald, Lynne S.; Lewski, Frank H. Software Inspections: An Effective Verification Process. IEEE Software. 1989 May: 31-38. /Verification#
#N##

#A#Ackerman, W. B.#
#A#Plummer, W. W.#
#T#An Implementation of a Multiprocessing Computer System#
#Y#1967#
#S#ACM SIGOPS OSR Proc. Symp.#
#K#Architectures#
#K#Multiprocessors#
#F#Ackerman, W. B.; Plummer, W. W. An Implementation of a Multiprocessing Computer System. 1967 Oct. ACM SIGOPS Proc. Symposium on Operating System Principles /architectures/multiprocessors.#
#N##

#S#ACM SIGSOFT Symposium on Software Testing, Analysis and Verification#
#Y#1989#
#K#Testing#
#K#Verification#
#F#ACM. ACM SIGSOFT '89: Third Symposium on Software Testing, Analysis and Verification; 1989 Dec 13; Key West Florida. USA: ACM; 1989. /Testing/Verification.#
#N##

#S#Proceedings of International Workshop on Software Configuration Management#
#Y#1989#
#K#Configuration management#
#F#ACM Press. Proceedings of 2nd International Workshop on Software Configuration Management; Oct 24; Princeton. USA: ACM; 1989 Nov. Note: Published as ACM Software Engineering Notes November 1989. /configuration management.#
#N##

#A#Acree, A.#
#T#On Mutation.#
#Y#1980#
#F#Acree, A. On Mutation. 1980 Jun. PhD Thesis, Information and Computer Science Dep., Georgia Institute of Technology.#
#N##

#A#Adam, N. R.#
#A#Wortmann, J. C.#
#T#Security-Control Methods for Statistical Databases: A Comparative Study.#
#S#Computing Surveys#
#Y#1989#
#K#Databases#
#K#Security#
#K#Statistical Databases#
#F#Adam, N. R.; Wortmann, J. C. Security-Control Methods for Statistical Databases: A Comparative Study. Computing Surveys. 1989 Dec; 21(4): 515-556. /Databases/Security/Statistical Databases.#
#N##

#A#Addison, Katherine P.#
#T#Secure Networking at Sun Microsystems Inc.#
#S#National Computer Security Conference#
#Y#1987#
#Z#6#
#K#Security#
#K#Multilevel Security#
#K#Operating Systems#
#K#Distributed Systems#
#K#SunOS MLS#
#F#Addison, K. (Sun Microsystems Federal Inc). Secure Networking at Sun Microsystems Inc. 10th National Computer Security Conference: Computer Security - From Principles to Practice; 1987 Sep 21. Gaithersburg, Md: NCSC; 1987: pp.212-219. /security/multile
vel security/operating systems/distributed systems/SunOS MLS.#
#N##

#A#Addison, Katherine P.#
#A#Sancho, John J.#
#T#Secure Networking at Sun Microsystems Inc.#
#S#National Computer Security Conference#
#Y#1988#
#K#Security#
#K#Networks#
#K#SunOS#
#F#Addison, Katherine P.; Sancho, John J. (Sun Microsystems Inc.). Secure Networking at Sun Microsystems Inc. 11th NCSC; 1988 Oct 17; Baltimore. USA: NBS/NCSC: pp.212-218. /security/networks/SunOS.#
#N##

#A#Ades, Stephen.#
#T#An Architecture for Integrated Services on the Local Area Network.#
#Y#1987#
#Z#7#
#K#Communications#
#K#Networks#
#K#Integrated networks#
#F#Ades, Stephen. An Architecture for Integrated Services on the Local Area Network. 1987 Jan. Cambridge University Computer Laboratory Technical Report No 114 /communications/networks/integrated networks.#
#N##

#A#Adkins, Marc M.#
#A#Dolsen, Gary#
#A#Heaney, Jody#
#A#Page, John#
#T#The Argus Security Model#
#S#National Computer Security Conference#
#Y#1989#
#K#Security#
#K#Security Models#
#F#Adkins, Marc M.; Dolsen, Gary; Heaney, Jody; Page, John (Planning Research Corporation). The Argus Security Model. in: 12th National Computer Security Conference; 1989 Oct 10; Baltimore. USA: NIST/NCSC; 1989: 123-134. /Security/Security Models.#
#N##

#A#Adleman, Len M.#
#T#A Subexponential Algorithm for the Discrete Logarithm Problem with Applications to Cryptography.#
#Y#1979#
#S#IEEE Proceedings#
#K#Crypto#
#K#Complexity Theory#
#F#Adleman, Len M. A Subexponential Algorithm for the Discrete Logarithm Problem with Applications to Cryptography. 1979 Oct. IEEE Proc. 20th Annual Symp. on Found of Comp Sci pp.55-60 /Crypto/Complexity Theory.#
#N##

#A#Adleman, Len M.#
#A#Rivest, R. L.#
#T#The use of public-key cryptography in communication system design.#
#Y#1978#
#T#IEEE Trans. Commun#
#K#Public Key#
#K#Crypto#
#K#Networks#
#K#Communications#
#F#Adleman, Len M.; Rivest, R. L. The use of public-key cryptography in communication system design. 1978 Nov. IEEE Trans. Commun COM-16(5) pp.20-23 /Public Key/Crypto/Networks/communications.#
#N##

#A#Adleman, N.#
#T#Effects of Producing a Multics Security Kernel.#
#Y#1975#
#S#NTIS#
#K#Security#
#K#Security Kernel#
#K#Multics#
#F#Adleman, N. Effects of Producing a Multics Security Kernel. 1975 Oct. Honeywell Information Systems Inc Mclean Va Federal Systems Operations NTIS AD-A031 220/7 /security/Security Kernel/Multics.#
#N##

#A#Adleman, N.#
#T#Engineering Investigations in Support of Multics Security Kernel Software Development#
#Y#1976#
#S#NTIS#
#K#Security#
#K#Security Kernel#
#K#Multics#
#F#Adleman, N. Engineering Investigations in Support of Multics Security Kernel Software Development. 1976 Oct 19. Honeywell Information Systems Inc Mclean Va Federal Systems Operations NTIS AD-A040 329/5 /security/Security Kernel/Multics.#
#N##

#A#Adleman, N.#
#A#Gilson, J. R.#
#A#Sestak, R. J.#
#A#Ziller, R. J.#
#T#Security Kernel Evaluation for Multics and Secure Multics Design, Development and Certification#
#Y#1976#
#S#NTIS#
#K#Security#
#K#Verification#
#K#Security Kernel#
#K#Multics#
#F#Adleman, N.; Gilson, J. R.; Sestak, R. J.; Ziller, R. J. Security Kernel Evaluation for Multics and Secure Multics Design, Development and Certification. 1976 Aug. Semi-annual progress rept. 1 Jan-30 June 76, Honeywell Information Systems Inc Mclean Va
 Federal Systems Operations NTIS AD-A038 261/4 /security/verification/Security Kernel/Multics.#
#N##

#A#Adleman, N.#
#A#Gilson, J. R.#
#A#Sestak, R. J.#
#A#Ziller, R. J.#
#T#Semi-Annual Progress Report#
#Y#1975#
#S#NTIS#
#K#Security Kernel#
#K#Multics#
#F#Adleman, N.; Gilson, J. R.; Sestak, R. J.; Ziller, R. J. Semi-Annual Progress Report July 1975 to December 1975. 1976 Jan. Honeywell Information Systems Inc Mclean Va Federal Systems Operations NTIS AD-A037 501/4 /Security Kernel/Multics.#
#N##

#A#Adleman, N.#
#A#Ziller, R. J.#
#A#Whitmore, J.#
#T#Multics Security Integration Requirements#
#Y#1980#
#S#NTIS#
#K#Security#
#K#Multics#
#F#Adleman, N.; Ziller, R. J.; Whitmore, J. Multics Security Integration Requirements, 1 January 1976-31 December 1980. 1976 Mar. Honeywell Information Systems Inc Mclean Va Federal Systems Operations NTIS AD-A041 514/1 /security/Multics.#
#N##

#T#Postscript Language Tutorial and Cookbook#
#Y#1988#
#K#Languages#
#K#Postscript#
#K#Manual#
#F#Adobe Systems Incorporated. Postscript Language Tutorial and Cookbook. Reading, Mass.: Addison-Wesley; 1988; ISBN: 0-201-10179-3. /Languages/Postscript/manual.#
#N##

#T#Postscript Language Program Design.#
#Y#1988#
#K#Languages#
#K#Postscript#
#K#Manual#
#F#Adobe Systems Incorporated. Postscript Language Program Design. Reading, Mass.: Addison-Wesley; 1988; ISBN: 0-201-14396-8. /languages/Postscript/manual.#
#N##

#T#Postscript Language Reference Manual.#
#Y#1988#
#K#Languages#
#K#Postscript#
#K#Manual#
#F#Adobe Systems Incorporated. Postscript Language Reference Manual. Reading, Mass.: Addison-Wesley; 1988; ISBN: 0-201-10174-2. /languages/Postscript/manual.#
#N##

#A#Adra, Hicham N.#
#A#Sandberg-Maitland, William#
#T#Formal Verification of a Network Security Device: A Case Study.#
#S#National Computer Security Conference#
#Y#1991#
#Z#8#
#K#Verification#
#K#Network Security#
#F#Adra, Hicham N.; Sandberg-Maitland, William (CGI Information Systems & Management Consultants). Formal Verification of a Network Security Device: A Case Study. in: 14th National Computer Security Conference; 1991 Oct; Washington. USA: NIST/NCSC; 1991; 
1: pp.226-236. /Verification/network Security.#
#N##

#A#Adrion, W. R.#
#T#Issues in Software validation, verification and testing#
#Y#1980#
#S#ORSA/TIMS Bull.#
#K#Verification#
#K#Testing#
#F##Adrion, W. R. Issues in Software validation, verification and testing. 1980 Sep. ORSA/TIMS Bull. (1980 TIMS-ORSA Conf.) 10(80) /Verification/Testing.#
#N##

#A#Adrion, W. R.#
#A#Branstead, M. A.#
#A#Cherniavsky, J. C.#
#T#Validation, verification and testing of computer software#
#Y#1982#
#S#ACM Computing Surveys#
#Z#9#
#K#Verification#
#K#Testing#
#K#Survey#
#F#Adrion, W. R.; Branstead, M. A.; Cherniavsky, J. C. Validation, verification and testing of computer software. 1982 Jun. ACM Computing Surveys 14(2) pp.159-192 /verification/testing/survey.#
#N##

#S#Aerospace Computer Security Applications Conference#
#T#Protecting Intellectual Property in Space#
#Y#1985#
#K#Security#
#K#Protection#
#F#Aerospace Computer Security Conference: Protecting Intellectual Property in Space. 1985. IEEE Computer Society Press /security/protection.#
#N##

#A#Aggarwal, S.#
#A#Courcoubetis, C.#
#A#Wolper, P.#
#T#Adding Liveness Properties to Coupled Finite-State Machines#
#S#ACM Trans on Programming Languages and Systems#
#Y#1990#
#Z#10#
#K#Algorithms#
#K#Verification#
#K#Algorithmic Verification#
#K#Correctness#
#K#Finite-state Machines#
#K#Verification Tools#
#F#Aggarwal, S.; Courcoubetis, C.; Wolper, P. Adding Liveness Properties to Coupled Finite-State Machines. ACM Trans on Programming Languages and Systems. 1990 Apr; 12(2): 303-339. /Algorithms/Verification/Algorithmic Verification /Correctness/Finite-stat
e Machines/Verification Tools.#
#N##

#A#Agha, Gul#
#T#Concurrent Object-Oriented Programming#
#S#Communications of ACM#
#Y#1990#
#F#Agha, Gul. Concurrent Object-Oriented Programming. Communications of ACM. 1990 Sep; 33(9): 125-141.#
#N##

#A#Agnew, C. E.#
#A#Baran, P.#
#A#Caulkins, D. C.#
#A#Cerf, V. G.#
#A#Crane, R. C.#
#T#Management Study: New Application Areas#
#Y#1974#
#K#Networks#
#K#ARPANET#
#K#WAN#
#F#Agnew, C. E.; Baran, P.; Caulkins, D. C.; Cerf, V. G.; Crane, R. C. ARPANET Management Study: New Application Areas. 1974 Aug 5. Cabledata Associates (Quarterly technical rept. no. 2, May-Jul 74, R-160, Cabledata Associates Inc Palo Alto Calif /Network
s/ARPANET/WAN.#
#N##

#A#Ahituv, N.#
#A#Lapid, Y.#
#A#Neumann, S.#
#T#Processing Encrypted Data#
#Y#1987#
#S#Communications of ACM#
#K#Crypto#
#F#Ahituv, N.; Lapid, Y.; Neumann, S. Processing Encrypted Data. 1987 Sep. Communications of ACM 30(9) pp.777-780 /crypto.#
#N##

#A#Aho, A.#
#A#Hopcroft, J.#
#A#Ullman, J.#
#T#The Design and Analysis of Computer Algorithms#
#Y#1974#
#F#Addison-Wesley, Reading, Mass /program design/program analysis. Aho, A.; Hopcroft, J.; Ullman, J. The Design and Analysis of Computer Algorithms. 1974. Addison-Wesley, Reading, Mass /program design/program analysis.#
#N##

#T#Computer Based Instruction for Computer Systems Security Officers - an Example.#
#S#National Computer Security Conference#
#Y#1989#
#K#Security#
#K#Administration#
#F#Air Force Cryptologic Support Center (Kelly AFB, San Antonio, Texas). Computer Based Instruction for Computer Systems Security Officers - an Example. in: 12th National Computer Security Conference; 1989 Oct 10; Baltimore. USA: NIST/NCSC; 1989: 505-514.
 /security/administration.#
#N##

#A#Akkoyunlu, E. A.#
#A#Ekanadham, K.#
#A#Huber, R. V#
#T#Some Constraints and Tradeoffs in the Design of Network Communications#
#Y#1975#
#S#ACM SIGOPS OSR Proc. Symp.#
#K#Networks#
#F#Akkoyunlu, E. A.; Ekanadham, K.; Huber, R. V. Some Constraints and Tradeoffs in the Design of Network Communications. 1975 Nov. ACM SIGOPS OSR 9(5) Proc. 5th Symp. OSP /Networks.#
#N##

#A#Akl, Selim G.#
#T#Digitial Signatures with Blindfolded Arbitrators Who Cannot Form Alliances#
#Y#1982#
#S#IEEE Comp. Soc. Proc. Symp. Security and Privacy#
#K#Digitial Signatures#
#K#Crypto#
#F#Akl, Selim G. Digitial Signatures with Blindfolded Arbitrators Who Cannot Form Alliances. 1982 Apr. IEEE Comp. Soc. Proc. 1982 Symp. Security and Privacy /Digitial Signatures/Crypto.#
#N##

#A#Akl, Selim G.#
#T#Digitial Signatures - a Tutorial Survey#
#Y#1983#
#S#IEEE Computer#
#K#Crypto#
#K#Digitial Signatures#
#K#Tutorial#
#F#Akl, Selim G. Digitial Signatures - a Tutorial Survey. 1983 Feb. IEEE Computer 16(2) pp.15-24 /crypto/Digitial Signatures/tutorial.#
#N##

#A#Akl, Selim G.#
#A#Denning, Dorothy E#
#T#Checking Classification Constraints for Consistency and Completeness#
#Y#1987#
#S#IEEE Comp. Soc. Proc. Symp. Security and Privacy#
#K#Security#
#K#Multilevel Security#
#K#Databases#
#K#Classification constraints#
#K#Integrity constraints#
#F# Akl, Selim G.; Denning, Dorothy E. Checking Classification Constraints for Consistency and Completeness. 1987. IEEE Comp. Soc. Proc 1987 Symp. Security and Privacy, pp. 196 - 201 /security/multilevel security/databases/classification constraints/integ
rity constraints.#
#N##

#A#Akl, Selim G.#
#A#Taylor, P. D.#
#T#Cryptographic Solution to a problem of access control in a Hierarchy#
#Y#1983#
#S#ACM Trans. Comput. Syst.#
#K#Crypto#
#K#Security#
#K#Multilevel Security#
#F#Akl, Selim G.; Taylor, P. D. Cryptographic Solution to a problem of access control in a Hierarchy. 1983 Aug. Queen's Univ, Kingston, Ontario, Canada ACM Trans. Comput. Syst. 1(3) pp.239-48 /Crypto/security/multilevel security.#
#N##

#A#Akyildiz, Ian F.#
#A#Benson, Glenn S.#
#T#A Security Reclassifier for a Local Area Network#
#S#European Symposium on Research in Computer Security#
#Y#1990#
#F#Akyildiz, Ian F.; Benson, Glenn S. (Georgia Inst. of Technology). A Security Reclassifier for a Local Area Network. in: European Symposium on Research in Computer Security; 1990 Oct 24; Toulouse. France: AFCET; 1990: 85-95.#
#N##

#A#Albert, A. A.#
#T#Some mathematical aspects of cryptography#
#Y#1941#
#S#AMS Meeting#
#K#Mathematics#
#K#Crypto#
#F#Albert, A. A. Some mathematical aspects of cryptography. 1941 Nov. AMS 382nd Meeting, Manhattan, Kans /mathematics/Crypto.#
#N##

#A#Aleliunas, R.#
#T#Randomized Parallel Communication#
#Y#1982#
#S#ACM SIGACT-SIGOPS Symp. Principles of Distributed Computing#
#K#Communications#
#F#Aleliunas, R. Randomized Parallel Communication. 1982 Aug. ACM SIGACT-SIGOPS Symp. Principles of Distributed Computing /communications.#
#N##

#A#Alford, M. W.#
#T#A requirement engineering methodology for real-time processing requirements#
#Y#1977#
#S#IEEE Trans. on Software Engineering#
#K#Requirements#
#F#Alford, M. W. A requirement engineering methodology for real-time processing requirements. 1977. IEEE Trans. Software Eng SE-2 pp.60-69 /requirements.#
#N##

#A#Allan, Bob#
#T#What Managers Really Need to Know About LANs#
#S#IEEE Network#
#Y#1989#
#K#Networks#
#K#Tutorial#
#K#LAN#
#K#Introduction#
#F#Allan, Bob. What Managers Really Need to Know About LANs. IEEE Network. 1989 Nov; 3(6): 15-19. /networks/tutorial/LAN/Introduction.#
#N##

#A#Allen, F. E.#
#T#Control Flow Analysis#
#Y#1970#
#S#ACM SIGPLAN Notices Proc. Symp. Compiler Optimization#
#K#Verification#
#K#Program analysis#
#F#Allen, F. E. Control Flow Analysis. 1970. ACM SIGPLAN Notices 5(7) Proc. Symp. Compiler Optimization pp.1-19 /verification/program analysis.#
#N##

#A#Allen, F. E.#
#T#Interprocedural data flow analysis#
#Y#1974#
#S#IFIP Proc. Congress#
#K#Verification#
#K#Program analysis#
#F#Allen, F. E. Interprocedural data flow analysis. 1974. IFIP Proc. Congress 1974, North Holland, Amsterdam pp.398-402 /verification/program analysis.#
#N##

#A#Allen, F. E.#
#A#Cocke, J.#
#T#A program data flow procedure#
#Y#1976#
#S#Communications of ACM#
#K#Verification#
#K#Program analysis#
#F#Allen, F. E.; Cocke, J. A program data flow procedure. 1976 Mar. Communications of ACM 19(3) pp.137-147 /verification/program analysis.#
#N##

#A#Almes, G. T.#
#A#Lazowska, E. D.#
#T#The Behavior of Ethernet-like Computer Communications Networks#
#Y#1979#
#S#ACM SIGOPS OSR Proc. Symp.#
#K#Networks#
#K#Ethernet#
#K#LAN#
#F#Almes, G. T.; Lazowska, E. D. The Behavior of Ethernet-like Computer Communications Networks. 1979 Dec. ACM SIGOPS OSR 13, Proc. 7th Symp. OSP /Networks/Ethernet/LAN.#
#N##

#A#Alvarez, Donald L.#
#T#Site Preparedness for the Next Network Emergency#
#S#National Computer Security Conference#
#Y#1989#
#K#Security#
#K#Networks#
#K#Viruses#
#K#worms#
#F#Alvarez, Donald L. (MIT Center for Space Research). Site Preparedness for the Next Network Emergency. in: 12th National Computer Security Conference; 1989 Oct 10; Baltimore. USA: NIST/NCSC; 1989: 601-604. /security/networks/viruses/worms.#
#N##

#A#Alves-Foss#
#A#Jim; Levitt Karl#
#T#Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components#
#Y#1991#
#S#IEEE Computer Society Symposium on Research in Security and Privacy#
#Z#11#
#K#Distributed Systems#
#K#Verification#
#K#TNIU#
#K#HOL#
#F#Alves-Foss, Jim; Levitt, Karl (University of California). Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. in: 1991 IEEE Computer Society Symposium on Research in Security and Privacy; 1991 
May; Oakland, California. USA: IEEE Computer Society Press; 1991: pp.122-135. ISBN: 0-8186- 2168-0. /Distributed Systems/Verification/TNIU/HOL.#
#N##

#A#Ambler, Allen L.#
#A#Good, Donald I.#
#A#Brown, J. C.#
#A#Burger, Wilhelm F.#
#A#Cohen, Richard M.#
#A#Hoch, Charles G.#
#A#Wells, R. E.#
#T#Gypsy: A language for specification and implementation of verifiable programs#
#Y#1977#
#S#ACM Proc. Conf. Language Design for Reliable Software#
#Z#12#
#K#Verification#
#K#Languages#
#K#Gypsy#
#K#GVE#
#F#Ambler, Allen L.; Good, Donald I.; Brown, J. C.; Burger, Wilhelm F.; Cohen, Richard M.; Hoch, Charles G.; Wells, R. E. Gypsy: A language for specification and implementation of verifiable programs. 1977 Mar. SIGPLAN Notices Vol 12 (3) pp.1-10 (proc. AC
M Proc. Conf. Language Design for Reliable Software) pp.1-10 in: Gehani N, McGettrick A D (eds): Software Specification Techniques, Addison-Wesley, International Computer Science Series, ISBN 0-201- 14320-9 /Verification/Languages/Gypsy/GVE.#
#N##

#A#Ambler, Allen L.#
#A#Hoch, Charles G.#
#T#A Study of Protection in Programming Languages#
#Y#1977#
#S#ACM Proc. Conf. Language Design for Reliable Software#
#K#Protection#
#K#Languages#
#F#Ambler, Allen L.; Hoch, Charles G. A Study of Protection in Programming Languages. 1977. ACM Proc. Conf. Language Design for Reliable Software pp.25-40 /protection/Languages.#
#N##

#A#Ames, Stanley R. , Jr.#
#T#File Attributes and Their Relationship to Computer Security#
#Y#1974#
#K#Security#
#K#DAC#
#F#Ames, Stanley R. , Jr. File Attributes and Their Relationship to Computer Security. 1974 Jun. Case Western Reserve Univ Cleveland Ohio Dept of Computing and Information Sciences NTIS AD-A002 159/2 /security/DAC.#
#N##

#A#Ames, Stanley R. , Jr.#
#T#Security Kernels: Are they the answer to the Computer Security Problem?#
#Y#1979#
#S#WESCON Professional Program#
#K#Security#
#K#Security Kernels#
#F#Ames, Stanley R. , Jr. Security Kernels: Are they the answer to the Computer Security Problem? 1979 Sep. 1979 WESCON Professional Program, San Francisco, Ca /Security/Security Kernels.#
#N##

#A#Ames, Stanley R. , Jr.#
#T#Security kernels: a solution or a problem?#
#Y#1981#
#S#IEEE Comp. Soc. Proc. Symp. Security and Privacy#
#Z#13#
#K#Security#
#K#Security Kernels#
#F#Ames, Stanley R. , Jr. Security kernels: a solution or a problem? 1981 Apr. MITRE Corp Bedford MA IEEE Comp. Soc. Proc. 1981 Symp. Security and Privacy /security/Security Kernels.#
#N##

#A#Ames, Stanley R. , Jr.#
#T#User Interface Multilevel Security Issues in a Transaction-Oriented Database Management System#
#Y#1976#
#K#Databases#
#K#Security#
#K#Review#
#F#Ames, Stanley R. , Jr. User Interface Multilevel Security Issues in a Transaction-Oriented Database Management System. 1976 Dec. MITRE MITRE report MTP-178, MITRE Corp, Bedford, MA /databases/security/review.#
#N##

#A#Ames, Stanley R. , Jr.#
#A#Gasser, Morrie#
#A#Schell, Roger R.#
#T#Security Kernel Design and Implementation: An Introduction#
#Y#1983#
#S#IEEE Computer#
#Z#14#
#K#Security#
#K#Security Kernels#
#K#Formal Specification#
#F#Ames, Stanley R. , Jr.; Gasser, Morrie; Schell, Roger R. Security Kernel Design and Implementation: An Introduction. 1983 Jul. IEEE Computer 16(7) pp.14-22 /security/Security Kernels/Formal specification.#
#N##

#A#Ames, Stanley R. , Jr.#
#A#Kallman, D. K.#
#T#Multics Security Kernel Validation: Proof Description Volume I#
#Y#1978#
#K#Verification#
#K#Multics#
#K#Security Kernel#
#K#Security#
#F#Ames, Stanley R. , Jr.; Kallman, D. K. Multics Security Kernel Validation: Proof Description Volume I. 1978 Jul. MITRE Corp Bedford MA NTIS AD-A056 901/2 /Verification/Multics/security kernel/security.#
#N##

#A#Ames, Stanley R. , Jr.#
#A#Keeton-Williams, J. G.#
#T#Demonstrating security for trusted applications on a security kernel base#
#Y#1980#
#S#IEEE Comp. Soc. Proc. Symp. Security and Privacy#
#K#Security Kernel#
#K#Formal Specification#
#K#Security#
#K#Trusted software#
#F#Ames, Stanley R. , Jr.; Keeton-Williams, J. G. Demonstrating security for trusted applications on a security kernel base. 1980 Apr. IEEE Comp. Soc. Proc. 1980 Symp. Security and Privacy /Security Kernel/Formal specification/security/trusted software.#
#N##

#A#Ames, Stanley R. , Jr.#
#A#Millen, Jonathan K.#
#T#Interface Verification for a Security Kernel#
#Y#1978#
#S#System Reliability and Integrity#
#K#Verification#
#K#Security#
#K#Security Kernel#
#F#Ames, Stanley R. , Jr.; Millen, Jonathan K. Interface Verification for a Security Kernel. 1978. System Reliability and Integrity, Vol 2, Infotech State of the Art report pp.1-21 /verification/security/security kernel.#
#N##

#A#Ames, Stanley R. , Jr.#
#A#Neumann, Peter G.#
#T#Computer Security Technology: Introduction#
#Y#1983#
#S#IEEE Computer#
#K#Security#
#K#Architectures#
#K#Review#
#F#Ames, Stanley R. , Jr.; Neumann, Peter G. Computer Security Technology: Introduction. 1983 Jul. IEEE Computer 16(7) p.11 /security/architectures/review.#
#N##

#A#Ames, Stanley R. , Jr.#
#A#Oestreicher, D. R.#
#T#Design of a message processing system for a multilevel secure environment#
#Y#1978#
#S#AFIPS Conf. Proc.#
#K#Security#
#K#Multilevel Security#
#K#Messages#
#K#Formal Specification#
#K#Security#
#F#Ames, Stanley R. , Jr.; Oestreicher, D. R. Design of a message processing system for a multilevel secure environment. 1978. AFIPS Conf. Proc. 47 (1978 NCC) pp.765-771 /Security/Multilevel Security/Messages/Formal specification/security.#
#N##

#A#Ames, Stanley R. , Jr.#
#A#Plummer, W. W.#
#T#TENEX Security Enhancements#
#Y#1976#
#K#Security#
#K#Operating Systems#
#K#TENEX#
#F#Ames, Stanley R. , Jr.; Plummer, W. W. TENEX Security Enhancements. 1976 Apr. MITRE report MTR-3217, MITRE Corp, Bedford, MA /security/operating systems/TENEX.#
#N##

#A#Ammann, Paul E.#
#A#Sandhu, Ravi S.#
#T#Extending the Creation Operation in the Schematic Protection Model#
#S#Computer Security Applications Conference#
#Y#1990#
#Z#15#
#K#Access Control#
#K#Security Models#
#K#Schematic Protection Model#
#K#Extended Schematic Protection Model#
#F#Ammann, P. E.; Sandhu, R. S. (George Mason University). Extending the Creation Operation in the Schematic Protection Model. in: 6th Annual Computer Security Applications Conference; 1990 Dec; Tucson, Arizona. USA: IEEE Computer Society Press; 1990: pp.
340-348. ISBN: 0-8186- 2105-2. /Access Control/security models/Schematic Protection Model/Extended Schematic Protection Model.#
#N##

#A#Ammann, Paul E.#
#A#Sandhu, Ravi S.#
#T#Safety Analysis for the Extended Schematic Protection Mode#
#Y#1991#
#S#IEEE Computer Society Symposium on Research in Security and Privacy#
#Z#16#
#K#Models#
#K#HRU#
#K#Extended Schematic Protection Model#
#F#Ammann, P. E.; Sandhu, R. S. (George Mason University). Safety Analysis ford the Extended Schematic Protection Model. in: 1991 IEEE Computer Society Symposium on Research in Security and Privacy; 1991 May; Oakland, California. USA: IEEE Computer Societ
y Press; 1991: pp.87-97. ISBN: 0-8186-2168-0. /Models/HRU/Extended Schematic Protection Model.#
#N##

#A#Ammann, Paul E.#
#A#Jaeckle, Frank#
#A#Jajodia, Sushil#
#T#A Two Snapshot Algorithm For Concurrency Control In Multilevel Secure Databases#
#Y#1992#
#S#IEEE Computer Society Symposium on Research in Security and Privacy#
#Z#17#
#K#Concurrency#
#K#DBMS#
#K#Databases#
#F#Ammann, Paul; Jaeckle, Frank; Jajodia, Sushil (George Mason University). A Two Snapshot Algorithm For Concurrency Control In Multilevel Secure Databases. in: 1992 IEEE Computer Society Symposium on Research into Security and Privacy; 1992 May 4; Oaklan
d, California. USA: IEEE Computer Society Press; 1992: pp. 204. /Concurrency/DBMS/Databases.#
#N##

#A#Ammann, Paul E.#
#A#Sandhu, Ravi S.#
#A#Suri, Gurpreet S.#
#T#A Distributed Implementation of the Extended Schematic Protection Model#
#S#Computer Security Applications Conference#
#Y#1991#
#Z#18#
#K#Extended Schematic Protection Model#
#K#Distributed Systems#
#K#Capabilities#
#F#Ammann, Paul; Sandhu, Ravi S.; Suri, Gurpreet S. (George Mason University). A Distributed Implementation of the Extended Schematic Protection Model. in: 7th Annual Computer Security Applications Conference; 1991 Dec; San Antonio, Texas. USA: IEEE Compu
ter Society Press; 1991: pp.152-164. ISBN: 0-8186-2280-6. /Extended Schematic Protection Model/distributed systems/Capabilities.#
#N##

#A#Ammann, Paul E.#
#A#Sandhu, Ravi S.#
#T#Implementing Transaction Control Expressions by Checking for Absence of Access Rights#
#S#Computer Security Applications Conference#
#Y#1930#
#Z#19#
#K#Transaction Control Expression#
#K#Separation of duties#
#K#TCE#
#K#Typed access matrix model#
#K#TAM#
#F#Ammann, Paul E.; Sandhu, Ravi S. (George Mason University, Fairfax, VA). Implementing Transaction Control Expressions by Checking for Absence of Access Rights. 8th Annual Computer Security Applications Conference; 1930 Nov 4; San Antonio, Texas. USA: I
EEE Computer Society Press; 1992: pp. 131 - 140. ISBN: 0-8186-3115-5. /Transaction Control Expression/separation of duties/TCE/typed access matrix model/TAM.#
#N##

#A#Amoroso, Ed#
#A#Nguyen, Thu#
#A#Weiss, Jon#
#A#Watson, John#
#A#Lopiska, Pete#
#A#Starr, Terry#
#T#Toward an Approach to Measuring Software Trust#
#Y#1991#
#S#IEEE Computer Society Symposium on Research in Security and Privacy#
#Z#20#
#K#Security Policy#
#K#Software Trust#
#K#Trusted Systems#
#F#Amoroso, Ed; Nguyen, Thu; Weiss, Jon; Watson, John; Lopiska, Pete; Starr, Terry (AT&T Bell Laboratories & GE Aerospace). Toward an Approach to Measuring Software Trust. in: 1991 IEEE Computer Society Symposium on Research in Security and Privacy; 1991 
May; Oakland, California. USA: IEEE Computer Society Press; 1991: pp.198-218. ISBN: 0-8186-2168-0. /Security Policy/Software Trust/Trusted Systems#
#N##

#A#Andersen, T.#
#T#Dependability of Resilient Computers. Oxford: BSP Professional#
#Y#1989#
#F#Andersen, T. (Ed). Dependability of Resilient Computers. Oxford: BSP Professional; 1989.#
#N##

#A#Chalmers, Leslie S.#
#T#An Analysis of the Differences Between the computer Security Practices in the Military and Private Sectors#
#Y#1986#
#S#IEEE Comp. Soc. Proc. Symp. Security and Privacy#
#z#140#
#K#Commercial security#
#K#Security#
#K#Risks#
#K#Audit#
#K#Review#
#F#Chalmers, Leslie S. An Analysis of the Differences Between the computer Security Practices in the Military and Private Sectors. 1986 Apr. IEEE Comp. Soc. Proc. 1986 Symp. Security and Privacy pp.71-77 /commercial security/security/risks/audit/review.#
#N##

#A#Chamberlin, D.#
#A#Gray, J. N.#
#A#Griffiths, P. P.#
#A#Mresse, M.#
#A#Traiger, I. L.#
#A#Wade, B. W.#
#T#Data Base System Authorisation#
#Y#1978#
#S#Foundations of secure computation#
#z#141#
#K#Databases#
#K#Authorisation#
#F#Chamberlin, D.; Gray, J. N.; Griffiths, P. P.; Mresse, M.; Traiger, I. L.; Wade, B. W. Data Base System Authorisation. 1978. in Foundations of secure computation, Academic Press 0-12-210350-5 /Databases/Authorisation.#
#N##

#A#Champine, George#
#A#Geer, Daniel#
#A#Ruh, William.#
#T#Project Athena as a Distributed Computer System#
#S#Computer#
#Y#1990#
#K#Distributed Systems#
#K#Operating Systems#
#K#Athena#
#F#Champine, George; Geer, Daniel; Ruh, William. Project Athena as a Distributed Computer System. Computer. 1990 Sep; 23(9): 40-51. /Distributed Systems/Operating Systems/Athena.#
#N##

#A#Chandy, K. M.#
#A#Misra, J.#
#T#A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems#
#Y#1982#
#S#ACM SIGACT-SIGOPS Symp. Principles of Distributed Computing#
#K#Resource Management#
#K#Networks#
#K#Deadlocks#
#F#Chandy, K. M.; Misra, J. A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. 1982 Aug. ACM SIGACT-SIGOPS Symp. Principles of Distributed Computing /Resource Management/Networks/Deadlocks.#
#N##

#A#Chandy, K. M.#
#A#Misra, J.#
#T#How Processes Learn#
#S#ACM Symposium on Principles of Distributed Computing#
#Y#1985#
#F#Chandy, K. M.; Misra, J. How Processes Learn. 4th ACM Symposium on Principles of Distributed Computing; 1985. USA: ACM; 1985: 204-214. .#
#N##

#A#Chao, Joseph C.#
#A#Komaravolu, Mahalakshmi#
#A#Lin, Carol#
#A#Yiu, Gavin#
#T#Modeling Internal Controls of Automated Teller Machine (ATM) Systems: A Computerized Decision Aid for Design and Evaluation#
#S#Computer Security Applications Conference#
#Y#1991#
#z#142#
#K#Models#
#K#Automated Teller Machines#
#F#Chao, Joseph C.; Komaravolu, Mahalakshmi; Lin, Carol; Yiu, Gavin (California State Polytechnic University). Modeling Internal Controls of Automated Teller Machine (ATM) Systems: A Computerized Decision Aid for Design and Evaluation. in: 7th Annual Comp
uter Security Applications Conference; 1991 Dec; San Antonio, Texas. USA: IEEE Computer Society Press; 1991: pp.120-129. ISBN: 0-8186-2280-6. /Models/Automated Teller Machines.#
#N##

#A#Chapin, A. L.#
#T#Computer Communication Standards#
#Y#1985#
#S#ACM SIGCOMM CCR Data Communications Symp.#
#K#Communications#
#K#Standards#
#F#Chapin, A. L. Computer Communication Standards. 1985. ACM SIGCOMM CCR 15(2) pp.60-68 /communications/standards.#
#N##

#A#Chapin, L.#
#T#Status of OSI (and related) standards#
#S#Computer Communications Review#
#Y#1988#
#K#Standards#
#K#OSI#
#F#Chapin, L. Status of OSI (and related) standards. Computer Communications Review. 1988 Oct; 18(5): pp.30-42. /Standards/OSI.#
#N##

#A#Chapin, N.#
#T#A measure of software complexity#
#Y#1979#
#S#AFIPS Conf. Proc.#
#F# Chapin, N. A measure of software complexity. 1979. AFIPS Conf. Proc. 48 (1979 NCC) pp.995-1002 .#
#N##

#A#Chaum, David L.#
#T#A New Paradigm for Individuals in the Information Age#
#Y#1984#
#S#IEEE Comp. Soc. Proc. Symp. Security and Privacy#
#z#143#
#K#Privacy#
#K#Digitial Signatures#
#K#Pseudonyms#
#F#Chaum, David L. A New Paradigm for Individuals in the Information Age. 1984. IEEE Comp. Soc. Proc. 1984 Symp. Security and Privacy /privacy/Digitial Signatures/pseudonyms.#
#N##

#A#Chaum, David L.#
#T#Untraceable Electronic Mail, Return Addresses and Digital Pseudonyms#
#Y#1981#
#S#Communications of ACM#
#K#Electronic Mail#
#K#Mail#
#F#Chaum, David L. Untraceable Electronic Mail, Return Addresses and Digital Pseudonyms. 1981 Feb. Communications of ACM 24(2). /Electronic Mail/Mail.#
#N##

#A#Cheatam, T. E.#
#A#Holloway, G. H.#
#A#Townley, T. A.#
#T#Symbolic evaluation and the analysis of programs#
#Y#1979#
#S#IEEE Trans. on Software Engineering#
#K#Verification#
#F#Cheatam, T. E.; Holloway, G. H.; Townley, T. A. Symbolic evaluation and the analysis of programs. 1979. IEEE Trans. Software Eng SE-5 pp.402-417 /Verification.#
#N##

#A#Cheheyl, Maureen H.#
#A#Gasser, Morrie#
#A#Huff, George A.#
#A#Millen, Jonathan K.#
#T#Secure System Specification and Verification: Survey of Methodologies#
#Y#1980#
#K#Verification#
#F#Cheheyl, Maureen H.; Gasser, Morrie; Huff, George A.; Millen, Jonathan K. Secure System Specification and Verification: Survey of Methodologies. 1980 Feb. MITRE Corp Bedford MA MITRE report MTR-3904, MITRE Corp, Bedford, MA /Verification.#
#N##

#A#Cheheyl, Maureen H.#
#A#Gasser, Morrie#
#A#Huff, George A.#
#A#Millen, Jonathan K.#
#T#Verifying security#
#Y#1981#
#S#ACM Computing Surveys#
#z#144#
#K#XIVUS#
#K#Verification#
#K#Theorem Proving#
#K#Survey#
#K#SPECIAL#
#K#Security#
#K#Models#
#K#Security#
#K#Multilevel Security#
#K#Languages#
#K#ITP#
#K#Introduction#
#K#Ina Jo#
#K#HDM#
#K#Gypsy#
#K#Formal Specification#
#K#FDM#
#K#DTV#
#K#AFFIRM#
#F#Cheheyl, Maureen H.; Gasser, Morrie; Huff, George A.; Millen, Jonathan K. Verifying security. 1981 Sep. ACM Computing Surveys 13(3) pp.279-339 /XIVUS/Verification/Theorem Proving/Survey/SPECIAL/Security/Models/Security/Multilevel Security/Languages/ITP
/Introduction/Ina Jo/HDM/Gypsy/Formal Specification/FDM/DTV/AFFIRM.#
#N##

#A#Chen, P. P.#
#T#The Entity-Relationship Model: Toward a Unified View of Data#
#Y#1976#
#S#ACM Trans. Database Syst.#
#K#Entity-relationship model#
#F#Chen, P. P. The Entity-Relationship Model: Toward a Unified View of Data. 1976. ACM Trans. Database Syst. 1(1) /entity-relationship model.#
#N##

#A#Chen, P. P.#
#T#Entity-Relationship Approach to Systems Analysis and Design#
#Y#1980#
#K#Entity-relationship model#
#F#Chen, P. P. Entity-Relationship Approach to Systems Analysis and Design. 1980. editor North-Holland Publishing Company, Amsterdam /entity-relationship model.#
#N##

#A#Cheng, Pau-Chen#
#A#Gligor, Virgil D.#
#T#A Model for Secure Distributed Computations in a Heterogeneous Environment#
#S#Aerospace Computer Security Applications Conference#
#Y#1988#
#z#145#
#K#Security#
#K#Security Models#
#K#Distributed Systems#
#F#Cheng, Pau-Chen; Gligor, Virgil D. (University of Maryland, Department of Electrical Engineering). A Model for Secure Distributed Computations in a Heterogeneous Environment. in: 4th Aerospace Computer Security Applications Conference; 1988 Dec 12; Orl
ando, Florida. USA: IEEE: pp.233-241. /security/security models/Distributed Systems.#
#N##

#A#Cheng, Pau-Chen#
#A#Gligor, Virgil D.#
#T#On the Formal Specification and Verification of a Multiparty Session Protocol#
#Y#1990#
#S#IEEE Computer Society Symposium on Research in Security and Privacy#
#z#146#
#K#Formal Specification#
#K#Ina Jo#
#K#Protocols#
#F#Cheng, P-C; Gligor, Virgil D. (University of Maryland, College Park, MD). On the Formal Specification and Verification of a Multiparty Session Protocol. in: 1990 IEEE Computer Society Symposium on Research in Security and Privacy; 1990 May 7; Oakland. 
USA: IEEE; 1990: 216-233. /Formal specification/Ina Jo/protocols.#
#N##

#A#Cheriton, D. R.#
#A#Zwaenpoel, W.#
#T#The Distributed V Kernel and its Performance for Diskless Workstations#
#S#Proceedings of Symposium on Operating System Principles#
#Y#1983#
#K#Operating Systems#
#K#Distributed Systems#
#F#Cheriton, D. R.; Zwaenpoel, W. The Distributed V Kernel and its Performance for Diskless Workstations. in: Proceedings of 9th Symposium on Operating System Principles; Oct 11; Bretton Woods, N.H. NY: ACM; 1983: 129-140. /operating systems/Distributed S
ystems.#
#N##

#A#Cherniavsky, J. C.#
#T#On finding test data sets for loop free programs#
#Y#1979#
#S#Info Process Lett#
#K#Testing#
#F#Cherniavsky, J. C. On finding test data sets for loop free programs. 1979. Info Process Lett. 8(2) /testing.#
#N##

#A#Cherniavsky, J. C.#
#A#Adrion, W. R.#
#A#Branstad, M. A.#
#T#The role of testing tools and techniques in the procurement of quality software and systems#
#Y#1979#
#S#Proc. Annu. Alisomar Conf. Circuits, Systems and Commputers#
#K#Testing#
#F#Cherniavsky, J. C.; Adrion, W. R.; Branstad, M. A. The role of testing tools and techniques in the procurement of quality software and systems. 1979. Proc. 13th Annu. Alisomar Conf. Circuits, Systems and Commputers, IEEE Computer Society pp.309-313 /te
sting.#
#N##

#A#Cherniavsky, J. C.#
#A#Adrion, W. R.#
#A#Branstad, M. A.#
#T#The role of programming environments in software quality assurance#
#Y#1980#
#S#Proc. Nat. Electronics Conf. National Engineering Consortium#
#K#Verification#
#F#Cherniavsky, J. C.; Adrion, W. R.; Branstad, M. A. The role of programming environments in software quality assurance. 1980. Proc. Nat. Electronics Conf. Vol 34, National Engineering Consortium Oakbrook, Ill. pp.468-472 /verification.#
#N##

#A#Chesson, G. L.#
#T#The Network Unix System#
#Y#1975#
#S#ACM SIGOPS OSR Proc. Symp.#
#K#UNIX#
#K#Networks#
#K#Operating Systems#
#K#Distributed Systems#
#F#Chesson, G. L. The Network Unix System. 1975 Nov. ACM SIGOPS OSR 9(5) Proc. 5th Symp. OSP /UNIX/Networks/operating systems/Distributed Systems.#
#N##

#A#Chikofsky, E. J.#
#T#Computer-Aided Software Engineering (CASE)#
#S#Washington: IEEE Computer Society#
#Y#1989#
#K#Software engineering#
#K#CASE#
#F#Chikofsky, E. J. Computer-Aided Software Engineering (CASE). Washington: IEEE Computer Society; 1989. /software engineering/CASE..#
#N##

#A#Chin, F. Y.#
#T#Security in statistical data bases for queries with small counts#
#Y#1977#
#K#Databases#
#K#Statistical inferences#
#F#Chin, F. Y. Security in statistical data bases for queries with small counts. 1977. Dept Comp. Sci., University of Alberta /databases/statistical inferences.#
#N##

#A#Chin, F. Y.#
#T#Security Problems on Inference Control for SUM, MAX and MIN Queries#
#Y#1986#
#S#Jnl. ACM#
#K#Statistical Databases#
#F#Chin, F. Y. Security Problems on Inference Control for SUM, MAX and MIN Queries. 1986 Jul. Jnl. ACM 33(3) pp.451-464 /Statistical Databases#
#N##

#A#Chin, F. Y.#
#A#Kossowski, P.#
#A#Loh, S. C.#
#T#Efficient inference control for range sum queries#
#S#Theor. Comp. Science#
#Y#1984#
#K#Databases#
#K#Privacy#
#K#Inference#
#K#Statistical Databases#
#F#Chin, F. Y.; Kossowski, P.; Loh, S. C. Efficient inference control for range sum queries. Theor. Comp. Science. 1984; 32: 77-86. /databases/privacy/inference/statistical databases.#
#N##

#A#Chin, F. Y.#
#A#Ozsoyoglu, G.#
#T#Auditing and Inference Control in Statistical Databases#
#Y#1980#
#K#Inference#
#K#Statistical Databases#
#K#Databases#
#K#Audit#
#F#Chin, F. Y.; Ozsoyoglu, G. Auditing and Inference Control in Statistical Databases. 1980. University of California, San Diego, Ca /Inference/Statistical Databases/databases/Audit.#
#N##

#A#Chin, F. Y.#
#A#Ozsoyoglu, G.#
#T#Auditing and Inference Control in Statistical Databases#
#Y#1982#
#S#IEEE Trans. on Software Engineering#
#K#Inference#
#K#Statistical Databases#
#K#Databases#
#K#Audit#
#F#Chin, F. Y.; Ozsoyoglu, G. Auditing and Inference Control in Statistical Databases. 1982 Nov. IEEE Trans. Software Eng SE-8(6) /Inference/Statistical Databases/databases/Audit.#
#N##

#A#Chin, F. Y.#
#A#Ozsoyoglu, G.#
#T#Security in Partitioned Dynamic Statistical Databases#
#Y#1979#
#S#IEEE Proc. COMPSAC#
#K#Inference#
#K#Statistical Databases#
#K#Databases#
#F#Chin, F. Y.; Ozsoyoglu, G. Security in Partitioned Dynamic Statistical Databases. 1979. IEEE Proc. COMPSAC 79 pp.594-601 /Inference/Statistical Databases/databases.#
#N##

#A#Chin, F. Y.#
#A#Ozsoyoglu, G.#
#T#Statistical Database Design#
#Y#1981#
#S#ACM Trans. Database Syst.#
#K#Inference#
#K#Statistical Databases#
#K#Databases#
#F#Chin, F. Y.; Ozsoyoglu, G. Statistical Database Design. 1981 Mar. ACM Trans. Database Syst. 6(1) pp.113-139 /Inference/Statistical Databases/databases.#
#N##

#A#Chin, Y. H.#
#A#Peng, W. L.#
#T#An Evaluation of Two New Inference Control Methods#
#Y#1987#
#S#IEEE Trans. on Software Engineering#
#K#Databases#
#K#Inference#
#F#Chin, Y. H.; Peng, W. L. An Evaluation of Two New Inference Control Methods. 1987 Dec. IEEE Trans. Softw. Eng. SE-13(12) pp.1329-1339 /databases/inference.#
#N##

#A#Choi, B.#
#A#Mathur, A. P.#
#A#Pattison, B.#
#T#PMothra: Scheduling Mutants for Execution on a Hypercube#
#S#Symposium on Software Testing, Analysis and Verification (TAV3)#
#Y#1989#
#F#Choi, B.; Mathur, A. P.; Pattison, B. (Department of Computer Science, Purdue University). PMothra: Scheduling Mutants for Execution on a Hypercube. in: Third Symposium on Software Testing, Analysis and Verification (TAV3); 1989 Dec 13; Key West Florid
a. USA: ACM; 1989: 58-65.#
#N##

#A#Chokhani, Santosh#
#T#Protection of Call Detail Records Data in Federal Telecommunications#
#S#Computer Security Applications Conference#
#Y#1989#
#z#147#
#K#Audit#
#K#Telecommunications#
#K#Call Detail Record#
#F#Chokhani, Santosh (The MITRE Corporation). Protection of Call Detail Records Data in Federal Telecommunications. in: 5th Annual Computer Security Applications Conference; 1989 Dec; Tucson, Arizona. USA: IEEE Computer Society Press; 1989: pp.70-77. ISBN
: 0-8186-2006-4. /Audit/Telecommunications/Call Detail Record.#
#N##

#A#Chorley, B. J.#
#T#The Design and Development of an Intelligent Token#
#Y#1985#
#K#Authentication#
#K#Identification#
#F#Chorley, B. J. The Design and Development of an Intelligent Token. 1985. NPL System Security: Online Publications, Pinner /authentication/identification.#
#N##

#A#Chorley, B. J.#
#A#Parkin, G. I.#
#T#A Revised definition of a secure communication protocol and its implementation#
#Y#1982#
#K#Protocols#
#K#Networks#
#F#Chorley, B. J.; Parkin, G. I. A Revised definition of a secure communication protocol and its implementation. 1982 Apr. NPL Report DITC 5/82 R209. Protocols/Networks.#
#N##

#A#Chou, W.#
#T#Future Directions in Network Services#
#Y#1979#
#S#ACM SIGCOMM CCR Data Communications Symp.#
#K#Networks#
#F#Chou, W. Future Directions in Network Services. 1979. ACM SIGCOMM 6th Data Communications Symp. /Networks.#
#N##

#A#Church, Alonzo#
#T#Introduction to Mathematical Logic#
#Y#1970#
#F#Church, Alonzo. Introduction to Mathematical Logic. : Princeton; 1970. Note: Referenced in: Leonard, Timothy E., 'Specification of Computer Architectures: Survey and Annotated Bibliography'. ( Cambridge University Computer Laboratory Technical Report N
o. 188). 8T/0.#
#N##

#A#Ciminiera, L.#
#A#Valenzano, A.#
#T#Authentication Mechanisms in Microprocessor-based Local Area Networks#
#S#IEEE Trans. on Software Engineering#
#Y#1989#
#K#Authentication#
#K#Protocols#
#K#Networks#
#F#Ciminiera, L.; Valenzano, A. Authentication Mechanisms in Microprocessor-based Local Area Networks. IEEE Trans. on Software Engineering. 1989 May; 15(5): 654-658. /authenication/protocols/networks.#
#N##

#A#Clark, D. L.#
#T#The Project Sue System Language Users Guide#
#Y#1973#
#K#PPSN SUE#
#K#Languages#
#F#Clark, D. L. The Project Sue System Language Users Guide. 1973. University of Toronto Computer Systems Research Group /PPSN SUE/Languages.#
#N##

#A#Clark, D. L.#
#T#The Project Sue System Language Users Guide#
#Y#1973#
#K#Sue#
#K#Languages#
#F#Clark, D. L. The Project Sue System Language Users Guide. 1973 Sep. University of Toronto Computer Systems Research Group /Sue/Languages.#
#N##

#A#Clark, D. Upcalls#
#S#Symposium of Operating System Principles#
#Y#1985#
#K#Operating Systems#
#K#Networks#
#K#Distributed Systems#
#K#RPC#
#F#Clark, D. Upcalls. in: 10th Annual Symposium of Operating System Principles; 1985 Nov. USA: ACM. /operating systems/networks/Distributed Systems/RPC.#
#N##

#A#Clark, David D.#
#A#Wilson, David R.#
#T#A Comparison of Commercial and Military Computer Security Policies#
#Y#1987#
#z#148#
#K#Commercial security#
#K#Integrity policies#
#K#Integrity models#
#K#Security#
#K#Clark-Wilson#
#F#Clark, David D.; Wilson, David R. A Comparison of Commercial and Military Computer Security Policies. 1987 Apr 28. /commercial security/integrity policies/integrity models/security/Clark-Wilson.#
#N##

#A#Clarke, A.#
#T#A system to generate test data and symbolically execute programs#
#Y#1977#
#S#IEEE Trans. on Software Engineering#
#K#Testing#
#F#Clarke, A. A system to generate test data and symbolically execute programs. 1977 Sep. IEEE Trans. Software Eng SE-2(3) pp.215-222 /testing.#
#N##

#A#Clarke, E. M. Jr#
#A#German, S. M.#
#A#Halpern, J. Y.#
#T#Effective axiomatizations of Hoare Logics#
#Y#1983#
#S#Jnl. ACM#
#K#Formal Specification#
#K#Hoare logic#
#F#Clarke, E. M. Jr; German, S. M.; Halpern, J. Y. Effective axiomatizations of Hoare Logics. 1983 Jul. Jnl. ACM 30(3) pp.612-636 /formal specification/Hoare logic.#
#N##

#A#Clarke, L. A.#
#T#A system to generate test data and symbolically execute programs#
#Y#1976#
#S#IEEE Trans. on Software Engineering#
#K#Verification#
#F#Clarke, L. A. A system to generate test data and symbolically execute programs. 1976. IEEE Trans. Software Eng SE-2 pp.215-222 /Verification.#
#N##

#A#Clarke, Thomas James Woodchurch#
#T#General Theory Relating to the Implementation of Concurrent Symbolic Computation#
#F#Clarke, Thomas James Woodchurch. General Theory Relating to the Implementation of Concurrent Symbolic Computation. Cambridge: Computer Laboratory; 1989 Aug; Technical Report No 174.#
#N##

#A#Claxton, D. M.#
#T#Advice most needed... the assessment and advice effort#
#Y#1986#
#S#Proc. NCSC/NBS computer security conference#
#K#Legislation#
#K#Security#
#K#NCSC#
#K#Guidelines#
#F#Claxton, D. M. Advice most needed... the assessment and advice effort. 1986 Sep. Proc. 9th NCSC/NBS computer security conference pp.168-174 /legislation/security/NCSC/guidelines.#
#N##

#A#Claybrook, A-M#
#T#Commercial Product Evaluation - Part 2#
#Y#1982#
#S#NBS/DoD Proc. Seminar on the DoD Computer Security Initiative#
#K#Verification#
#K#Products#
#F#Claybrook, A-M. Commercial Product Evaluation - Part 2. 1982 May. NBS/DoD Proc. 5th Seminar on the DoD Computer Security Initiative /verification/products.#
#N##

#A#Claybrook, B. G.#
#T#File Management Techniques#
#Y#1983#
#K#File storage#
#F#Claybrook, B. G. File Management Techniques. 1983. Wiley Press /file storage.#
#N##

#A#Claybrook, B. G.#
#T#Using Views in a Multilevel Secure Database Management System#
#Y#1983#
#S#IEEE Comp. Soc. Proc. Symp. Security and Privacy#
#K#Views#
#K#Security#
#K#Multilevel Security#
#K#Databases#
#F#Claybrook, B. G. Using Views in a Multilevel Secure Database Management System. 1983 Apr. IEEE Comp. Soc. Proc. 1983 Symp. Security and Privacy /Views/Security/Multilevel Security/Databases.#
#N##

#A#Clifton, Daniel B.#
#A#Fernandez, Eduardo B.#
#T#A Microprocessor Design for Multilevel Security#
#S#Aerospace Computer Security Applications Conference#
#Y#1988#
#K#Security#
#K#Multilevel Security#
#K#Hardware#
#F#Clifton, Daniel B.; Fernandez, Eduardo B. (Harris Semiconductor//Florida Atlantic University). A Microprocessor Design for Multilevel Security. in: 4th Aerospace Computer Security Applications Conference; 1988 Dec 12; Orlando, Florida. USA: IEEE: pp.19
4-198. /security/multilevel security/hardware.#
#N##

#A#Clocksin, William F.#
#T#Logical programming and the Specification of Circuits#
#Y#1985#
#K#Formal Specification#
#F#Clocksin, William F. Logical programming and the Specification of Circuits. 1985. Cambridge University Computer Laboratory technical report 72 /formal specification.#
#N##

#A#Clyde, A. R.#
#T#Insider Threat Identification Systems#
#S#National Computer Security Conference#
#Y#1987#
#K#Security#
#K#Vulnerabilities#
#F#Clyde, A. R. (A R Clyde Associates). Insider Threat Identification Systems. 10th National Computer Security Conference: Computer Security - From Principles to Practice; 1987 Sep 21; Gaithersburg, Md. Gaithersburg, Md: NCSC; 1987: pp.343-356. /security/
vulnerabilities.#
#N##

#A#Coates, K. E.#
#A#Dvorak, D. L.#
#A#Watts, R. M.#
#T#An overview of BLN: a Bell Laboratories Computing Network#
#Y#1981#
#S#ACM SIGCOMM CCR Data Communications Symp.#
#K#Networks#
#K#BLN#
#F#Coates, K. E.; Dvorak, D. L.; Watts, R. M. An overview of BLN: a Bell Laboratories Computing Network. 1981 Oct. Bell Labs ACM SIGCOMM CCR 11(4) 7th Data Communications Symp. /Networks/BLN.#
#N##

#A#Cochrane, J. S.#
#T#Automated Data Processing Security Accreditation Program#
#Y#1984#
#S#DOD/NBS Computer Security Conf.#
#K#Standards#
#K#Security#
#F#Cochrane, J. S. Automated Data Processing Security Accreditation Program. 1984 Sep. 7th DOD/NBS Computer Security Conf. /standards/security.#
#N##

#A#Codd, Edward F.#
#T#Extending the Database Relational Model to Capture More Meaning#
#Y#1979#
#S#ACM Trans. Database Syst.#
#K#Relational Databases#
#K#Databases#
#F#Codd, Edward F. Extending the Database Relational Model to Capture More Meaning. 1979. ACM Trans. Database Syst. 4(4) pp.397-434 /Relational Databases/Databases.#
#N##

#A#Codd, Edward F.#
#T#Extending the Database Relational Model to Capture More Meaning#
#Y#1979#
#S#ACM Trans. Database Syst.#
#K#Relational Databases#
#K#Databases#
#F#Codd, Edward F. Extending the Database Relational Model to Capture More Meaning. 1979 Dec. ACM Trans. Database Syst. 4(4) pp.397-434 /Relational Databases/Databases.#
#N##

#A#Codd, Edward F.#
#T#A Relational Model for Large Shared Data Banks#
#Y#1970#
#S#Communications of ACM#
#K#Relational Databases#
#K#Databases#
#F#Codd, Edward F. A Relational Model for Large Shared Data Banks. 1970. Communications of ACM 13(6) pp.377-387 /Relational Databases/Databases.#
#N##

#A#Cohen, B.#
#A#Pitt, D. H.#
#A#Woodcock, J. C. P.#
#T#The Importance of Time in the Specification of OSI Protocols: An Overview#
#Y#1986#
#F#Cohen, B.; Pitt, D. H.; Woodcock, J. C. P. The Importance of Time in the Specification of OSI Protocols: An Overview. UK: National Physical Laboratory; 1986; DITC 78/86. Note: Referenced in: Leonard, Timothy E., 'Specification of Computer Architectures
: Survey and Annotated Bibliography'. ( Cambridge University Computer Laboratory Technical Report No. 188). 8T/0.#
#N##

#A#Cohen, E.#
#A#Jefferson, D.#
#T#Protection in the Hydra Operating System#
#Y#1975#
#S#ACM SIGOPS OSR Proc. Symp.#
#K#Revocation#
#K#Mutual Suspicion#
#K#HYDRA#
#K#Confinement#
#K#Capabilities#
#K#Security#
#F#Cohen, E.; Jefferson, D. Protection in the Hydra Operating System. 1975 Nov. ACM SIGOPS OSR 9(5) Proc. 5th Symp. OSP /Revocation/Mutual Suspicion/HYDRA/Confinement/Capabilities/security.#
#N##

#A#Cohen, E.#
#A#Jefferson, D.#
#T#Protection in the Hydra Operating System#
#Y#1976#
#S#ACM SIGOPS OSR Proc. Symp.#
#K#HYDRA#
#F#Cohen, E.; Jefferson, D. Protection in the Hydra Operating System. 1976. ACM SIGOPS OSR 9(5) Proc. 5th Symp. OSP /Hydra.#
#N##

#A#Cohen, Ellis S.#
#T#Information transmission in computational systems#
#Y#1977#
#S#ACM SIGOPS OSR Proc. Symp.#
#z#150#
#K#Strong Dependency#
#K#Security#
#K#Information Flow#
#K#Security Models#
#F#Cohen, Ellis S. Information transmission in computational systems. 1977 Nov. ACM SIGOPS OSR 11(5) Proc. 6th Symp. OSP pp.133-139 /Strong Dependency/Security/Information Flow/security models.#
#N## 

-----BEGIN PGP SIGNATURE-----
Version: 2.6.2

iQCVAwUBNIshrk8Qx019l0ClAQG0ygP5AcZCDcPw2OtlUpF0L+kOvi+CBfH94p8B
ph34DuCOqLtSD3krlO/f7mTLp6Ag7zFsiMizF3FtsX4O4Nm0+BeIwRpMQfzckvLu
3BzFDp6syDnWR4FE91pzwWo35EEKR6TO1JljKLd1xTaTy8lC93YeGMedFggqVClK
SbacHPNBfqE=
=kF7E
-----END PGP SIGNATURE-----