Login / Signup
Z Styles for Security Properties and Modern User Interfaces.
Anthony Hall
Published in:
FASec (2002)
Keyphrases
</>
security properties
user interface
security requirements
formal model
security analysis
security protocols
key agreement
cryptographic protocols
security vulnerabilities
databases
formal methods
expert systems
case study
sensor networks
object oriented
power consumption