An Environment for Specifying and Verifying Security Properties.

Andre Renaud Padmanabhan Krishnan

Published in: Australian Software Engineering Conference (2001)

Keyphrases

security properties
formal model
model checking
security requirements
security analysis
security vulnerabilities
real time
e government
dynamic environments
security protocols