Cart (Loading....) | Create Account
Close category search window

An environment for specifying and verifying security properties

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Renaud, A. ; Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand ; Krishnan, P.

In this article we present an environment in which a variety of protocols can be analysed. The input accepted by the tool is a description of the protocol in a language similar to CAPSL. We extend CAPSL with a generalised form of control (e.g., parallelism and choice), explicit support for mutable state and expressing a variety of dependencies. The language also supports the specification of the security analyses that need to be performed. To effect the security analysis we translate the protocol into a suitable input for the theorem prover PVS. The proofs are then carried out in PVS. The tool automatically generates the lemmas required to prove the key theorems. These lemmas essentially describe simple, but key, properties of the possible messages. The tool also generates strategies to prove the lemmas and the main theorems

Published in:

Software Engineering Conference, 2001. Proceedings. 2001 Australian

Date of Conference:


Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.