Evaluating system integrity

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Evaluating system integrity

Full text

Pdf (648 KB)

Source

New Security Paradigms Workshop archive
Proceedings of the 1998 workshop on New security paradigms table of contents

Charlottesville, Virginia, United States

Pages: 40 - 47

Year of Publication: 1998

ISBN:1-58113-168-2

Author

Simon N. Foley

Department of Computer Science, University College, Cork, Ireland and Centre for Communications Systems Research, University of Cambridge, Cambridge CB2 3DS, UK

Sponsor

SIGSAC: ACM Special Interest Group on Security, Audit, and Control

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 16, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/310889.310909 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ALPERN, B., AND SCHNEIDER, F. Recognizing safety and liveness. Distributed Computing 2 (1987), 181-126.
	2	BIBA, K. Integrity considerations for secure computer systems. Tech. Rep. MTR-3153 Rev 1 (ESD-TR-76- 372), MITRE Corp Bedford MA, 1976.
	3	BOBERT, W., AND KAIN, R. A practical alternative to hierarchical integrity properties. In Proceedings of the National Computer Security Conference (1985), pp. 18- 27.
	4	CLARK, D. D., AND WILSON, D. R. A comparison of commercial and military computer security models. In Proceedings Symposium on Security and Privacy (Apr. 1987), IEEE Computer Society Press, pp. 184-194.
	5	FOCARDI, R., GHELLI, A., AND GORRIERI, R. Using noninterference for the analysis of security protocols. In Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols (1997).
	6	FOCARDI, R., AND GOnRIERI, R. A taxonomy of security properties. Journal of Computer Security 3, 1 (1994).
	7	FOLEY, S. A Model and Theory of Secure Information Flow. PhD thesis, National University of Ireland, 1988.
	8	GOOD, D. A position on computer security foundations. IEEE Cipher Newsletter (Jan. 1989), 24-25.
	9	P. Greve , J. Hoffman , R. E. Smith, Using type enforcement to assure a configurable guard, Proceedings of the 13th Annual Computer Security Applications Conference, p.146, December 08-12, 1997
	10	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	11	JACOB, J. The varieties of refinement. In Proceedings of the 4th Refinement Workshop (1991), J. M. Morris and R. C. Shaw, Eds., Springer-Verlag, pp. 441-455.
	12	JACOB, J. Basic theorems about security. Journal of Computer Security 1, 4 (1992), 385-411.
	13	J.C. C. Laprie , A. Avizienis , H. Kopetz, Dependability: Basic Concepts and Terminology, Springer-Verlag New York, Inc., Secaucus, NJ, 1992
	14	O'HALLORAN, C. M. A calculus of information flow. In Proceedings of the European Symposium on Research in Computer Security (Oct. 1990), G. Eizenberg, Ed., AFCET, pp. 147-159.
	15	PAULSON, L. The inductive approach to verifying cryptographic protocols. In Proceedings of the IEEE Computer Security Foundations Workshop (1997).
	16	A. W. Roscoe, Intensional specifications of security protocols, Proceedings of the Ninth IEEE Computer Security Foundations Workshop, p.28, March 10-12, 1996
	17	ROSCOE, A., WOODCOCK, J., AND WULF, L. Noninterference through determinism. Journal of Computer Security 4, 1 (1995).
	18	Fred B. Schneider, Enforceable Security Policies, Cornell University, Ithaca, NY, 1998
	19	SIMPSON, A. Safety through Security. PhD thesis, Oxford University, Computing Laboratory, 1996.
	20	Stephen M. McMenamin , John F. Palmer, Essential systems analysis, Yourdon Press, Upper Saddle River, NJ, 1984
	21	SUTHERLAND, D. A model of information. In Proceedings 9th National Computer Security Conference (1986), U. S. National Computer Security Center and U. S. National Bureau of Standards.
	22	V. S. DEPARTMENT OF DEFENSE. Integrity-oriented control objectives: Proposed revisions to the trusted computer system evaluation criteria (TCSEC). Tech. Rep. DOD 5200.28-STD, U. S. National Computer Security Center, Oct. 1991.
	23	WEBER, D. Specifications for fault-torerance. Tech. Rep. 19-3, Odyssey Research Associates, Ithaca, NY, 1988.