Evaluating system integrity

Proceedings New Security Paradigms Workshop

Volumn Part F129230, Issue , 1998, Pages 40-47

  Foley, Simon N ^a,b  

^a UNIVERSITY COLLEGE CORK   (Ireland)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY OF DATA;

CONVENTIONAL MODELS; EVALUATING SYSTEMS; FORMAL DEFINITION; IMPLEMENTATION TECHNIQUES; IS IMPLEMENTATION; SEPARATION OF DUTY; SYSTEM INTEGRITY; WELL-FORMED TRANSACTIONS;

FAULT TOLERANCE;

EID: 70549083401     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/310889.310909     Document Type: Conference Paper

References (23)

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 an 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 DIM AGS Workshop on Design and Formal Verification of Security Protocols (1997).
6. FOCARDI, R.; AND GORRIERI, 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. GREVE, P., HOFFMAN, J., and SMITH, R. Using type enforcement to assure a configurable guard. In Proceedings of the 13th. Annual Computer Security Applications Conference (1997).
10. HOARE, C. Communicating Sequential Processes. Prentice Hall, 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. LAPRIE(ED.), J. Dependability: Basic Concepts and Terminology. Springer Verlag. IFIP WG 10.4-Dependable Computing and Fault Tolerance.
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. ROSCOE, A. Using intensional specifications of security protocols. In Proceedings of the IEEE Computer Security Foundations Workshop (1996).
17. ROSCOE, A., WOODCOCK, J., and WULF, L. Noninterference through determinism. Journal of Computer Security 4, 1 (1995).
18. SCHNEIDER, F. Enforcable security policies. Tech. Rep. TR98-1664, Cornell University, Jan. 1998.
19. SIMPSON, A. Safety through Security. PhD thesis, Oxford University, Computing Laboratory, 1996.
20. S.M. MCMENAMIN, J. P. Essential Systems Analysis. Prentice Hall, 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. U. 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.