Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

ACM Transactions on Computational Logic

Volumn 2, Issue 1, 2001, Pages 93-134

  Bryant, Randal E ^a   German, Steven ^b   Velev, Miroslav N ^c  

^a Carnegie Mellon University   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

^c CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Algorithms; Decision procedures; Processor verification; Uninterpreted functions; Verification

Indexed keywords

EID: 84958791713     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/371282.371364     Document Type: Article

References (23)

1. Abadi, M., Bubrows, M., Lampson, B., and Plotkin, G. 1993. A Calculus For Access Control in Distributed Systems. Acm Trans. Program. Lang. Syst. 15, 4 (Sept.), 706-734.
2. ACM. 1996. Special Section: How To Use Key Escrow. Commun. Acm 39, 3, 32-60.
3. Blaze, M., Feigenbaum, J., and Lacy, J. 1997. Decentralized Trust Management. In Proceedings of the 1996 Ieee Symposium on Security and Privacy (Oakland, Ca, May), 164-173.
4. Ellison, C. 2000. Spki Certificate Documentation. http://www.Pobox.Com/Cme/Html/Spki.Html.
5. Ganesan, R. 1995. Yaksha: Augmenting Kerberos With Public Key Cryptography. In Proceedings of the 1995 Internet Society Symposium on Network and Distributed System Security (Feb.), 132-143.
6. Jajodia, S., Samarati, P., Sapino, M. L., and Subrahmanian, V. S. 1992. Flexible Support For Multiple Access Control Policies. Acm Trans. Database Syst. 26, 2 (June), 214-260.
7. Lampson, B., Abadi, M., Burrows, M., and Wobber, E. 1992. Authentication in Distributed Systems: Theory and Practice. Acm Trans. Comput. Syst. 10, 4 (Nov.), 265-310.
8. Li, N., Feigenbaum, J., and Grosof, B. 1999. A Logic-Based Knowledge Representation For Authorization With Delegation. In Proceedings of the 12Th Computer Security Foundations Workshop (Mordano, Italy, June), 162-174.
9. Maurer, U. 1996. Modeling A Public Key Infrastructure. In Proceedings of the Fourth European Symposium on Research in Security and Privacy, Lncs 1146 (Rome, Sept.), 325-350.
10. Mcmahon, P. 1995. Sesame V2 Public Key and Authorisation Extensions To Kerberos. In Proceedings of the 1995 Internet Society Symposium on Network and Distributed System Security (Feb.), 114-131.
11. Micali, S. 1992. Fair Public-Key Cryptosystems. In Advances in Cryptology-Proceedings of Crypto'92, E. Brickell Ed., Lncs 740, 113-138. Springer-Verlag.
12. Park, J. S., Sandhu, R., and Ahn, G.-J. 2001. Role-Based Access Control on the Web. Acm Trans.
13. Inf. Syst. Secur. 4, 1 (Feb.).
14. Park, J. and Sandhu, R. 2000. Binding Identities and Attributes Using Digitally Signed Certificates. In Proceedings of the 16Th Annual Computer Security Applications Conference (New Orleans, La, Dec.), 120-127.
15. Reiter, M. K., Franklin, M. K., Lacy, J. B., and Wright, R. N. 1996. The ^ Key Management Service. J. Comput. Secur. 4, 4, 267-287.
16. Saltzer, J. H. and Schroeder, M. D. 1975. The Protection of Information in Computer Systems. Proc. Ieee 63, 9 (Sept.), 1278-1308.
17. Samarati, P. and De Capitani Di Vimercati, S. 2001. Access Control: Policies, Models, and Mechanisms. In Foundations of Security Analysis and Design. R. Focardi and R. Gorrieri Eds., Lncs 2171. Springer-Verlag.
18. Samarati, P. and Jajodia, S. 1999. Data Security. In Wiley Encyclopedia of Electrical and Electronics Engineering. J. Webster Ed., John Wiley.
19. Sandhu, R., Coyne, E., Feinstein, H., Youman, C. 1996. Role-Based Access Control Models. Ieee Computer 29, 2 (Feb.), 38-47.
20. Sandhu, R. and Samarati, P. 1997. Authentication, Access Control, and Intrusion Detection. In The Computer Science and Engineering Handbook. A. Tucker Ed., Crc Press.
21. Ferraiolo, D., Sandhu, R., Gavrila, S., Kuhn, R., and Chandramouli, R. 2001. Proposed Nist Standard For Role-Based Access Control Acm Trans. Inf. Syst. Secur. 4, 3 (Aug.).
22. Winslett, M., Ching, N., Jones, V., and Slepchin, I. 1997. Using Digital Credentials on the World Wide Web. J. Comput. Secur. 5, 3, 255-267.
23. Woo, T. Y. C. and Lam, S. S. 1993. Authorizations in Distributed Systems: A New Approach. J. Comput. Secur. 2 (2, 3), 107-136.