C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A modular pipeline for enforcement of security properties at runtime.
Rania Taleb
Sylvain Hallé
Raphaël Khoury
Published in:
Ann. des Télécommunications (2023)
Keyphrases
</>
security properties
formal model
security requirements
security analysis
security protocols
access control
cryptographic protocols
key agreement
formal methods
artificial intelligence
sensor networks
fine grained