Applying SDL to Formal Analysis of Security Systems.

Javier López Juan J. Ortega José M. Troya

Published in: SDL Forum (2003)

Keyphrases

formal analysis
security systems
rule based systems
security mechanisms
biometric data
agent model
formal methods
multimodal biometrics
ban logic
access control
security issues
databases
neural network
information systems
operating system
formal specification