Conduit cascades and secure synchronization

Proceedings New Security Paradigm Workshop

Volumn , Issue , 2000, Pages 141-150

  Foley, Simon N ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; DATABASE SYSTEMS; SECURITY OF DATA; SYNCHRONIZATION; WEB BROWSERS;

CONDUIT CASCADES;

PERSONAL DIGITAL ASSISTANTS;

EID: 0034593169     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/366173.366205     Document Type: Conference Paper

References (14)

1. B Blakley and D.M. Kienzle. Some weaknesses of the TCB model. In IEEE Symposium on Security and Privacy. IEEE CS Press, May 1997.
2. R.E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 1992.
3. 23 states and beyond. Information and Computation, 98:142-170, 1992.
4. J.A. Fitch and L.J. Hoffman. A shortest path network security model. Computers and Security, 12:169-189, 1993.
5. S.N. Foley. The specification and implementation of commercial security requirements including dynamic segregation of duties. In 4th ACM Conference on Computer and Communications Security. ACM Press, 1997.
6. S.N. Foley and G. Hayes. PalmTE: Limited type enforcemented on the Palm handheld. In preparation, 2000.
7. L. Gong and X. Qian. The complexity and composability of secure interoperation. In Proceedings of the Symposium on Security and Privacy, pages 190-200, Oakland, CA, May 1994. IEEE Computer Society Press.
8. S. Gritalis and D. Spinellis. The cascade vulnerability problem: The detection problem and a simulated annealing approach to its correction. Microprocessors and Microsystems, 21(10):621-628, 1998.
9. R.J. Horton et al. The cascade vulnerability problem. Journal of Computer Security, 2(4):279-290, 1993.
10. J.K. Millen and M.W. Schwartz. The cascading problem for interconnected networks. In 4th Aerospace Computer Security Applications Conference, pages 269-273. IEEE CS Press, December 1988.
11. I.S. Moskowitz and M.H. Kang. An insecurity flow model. In New Security Paradigms Workshop. ACM Press, 1997.
12. National Computer Security Center, USA. Trusted Network Interpretation, 1987.
13. M.K. Reiter and S.G. Stubblebine. Toward acceptable metrics of authentication. In IEEE Symposium on Security and Privacy, pages 10-20, May 1997.
14. J.M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, second edition, 1992.