Towards Automation of Testing High-Level Security Properties.

Aiman Hanna Hai Zhou Ling Jason Furlong Mourad Debbabi

Published in: DBSec (2008)

Keyphrases

security properties
high level
low level
security analysis
formal model
security requirements
security protocols
formal methods
security vulnerabilities
cryptographic protocols
real time
object oriented