Automated Proof of Bell-LaPadula Security Properties.

Maximiliano Cristiá Gianfranco Rossi

Published in: CoRR (2020)

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
automated theorem provers
formal methods
cryptographic protocols
security vulnerabilities
low cost
key agreement