Login / Signup
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.
Jason Franklin
Sagar Chaki
Anupam Datta
Arvind Seshadri
Published in:
IEEE Symposium on Security and Privacy (2010)
Keyphrases
</>
data structure
expert systems
knowledge based systems
database management systems
model checking
data intensive
neural network
intelligent systems
lightweight
security policies
formal methods
cryptographic protocols
security measures
verification method