Automated Proof of Bell-LaPadula Security Properties.

Maximiliano Cristiá Gianfranco Rossi

Published in: J. Autom. Reason. (2021)

Keyphrases

security properties
formal model
security analysis
security requirements
security protocols
cryptographic protocols
security vulnerabilities
automated theorem provers
formal methods
smart card
key agreement
knowledge based systems
cost effective
elliptic curve