P. Maggi and R. Sisto. Using SPIN to verify security protocols. In Proceedings of the 9th International SPIN Workshop on Model Checking of Software, number 2318 in Lecture Notes in Computer Science, pages 187--204, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Static Verification of Security Requirements in Role Based.. - Ahmed, Tripathi (Correct)
....[16, 6] These analysis concentrate on program verification for ensuring multi level security policies related to information flow through storage channels. Finite state based model checking using tools, such as SPIN, is also explored for program analysis [5, 6] and protocol verification [14]. In this paper, we present a role based model to specify both coordination and security requirements and utilize finite state models for verification of the specification. An approach for specification of functional and confidentiality requirements in CSCW systems using Z notation for formal ....
P. Maggi and R. Sisto. Using SPIN to Verify Security Protocols. In Proc. of 9th Int. SPIN Workshop on Model Checking of Software, LNCS 2318, pages 187--204, 2002.
Universally Composable Symbolic Analysis of Cryptographic.. - Canetti, Herzog (2005) (7 citations) (Correct)
No context found.
P. Maggi and R. Sisto. Using SPIN to verify security protocols. In Proceedings of the 9th International SPIN Workshop on Model Checking of Software, number 2318 in Lecture Notes in Computer Science, pages 187--204, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC