A Formal Notion of Trust - Enabling Reasoning about Security Properties.

Andreas Fuchs Sigrid Gürgens Carsten Rudolph

Published in: IFIPTM (2010)

Keyphrases

security properties
formal model
formal methods
security analysis
security requirements
security vulnerabilities
security protocols
real time
low cost
formal specification
key agreement
data model
distributed systems