Login / Signup
DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions.
Andrea Altarui
Marino Miculan
Matteo Paier
Published in:
ITASEC (2023)
Keyphrases
</>
security properties
formal model
security requirements
security vulnerabilities
security analysis
security protocols
cryptographic protocols
object oriented