Security Properties as Nested Causal Statements.

Matvey Soloviev Joseph Y. Halpern

Published in: CoRR (2021)

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
cryptographic protocols
security vulnerabilities
key agreement
formal methods
data mining
artificial intelligence
web services
natural language
operating system
smart card