Login / Signup
A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration.
Lasbahani Abdellatif
Mostafa Chhiba
A. Tabyaoui
Oussama Mjihil
Published in:
ICCWCS (2017)
Keyphrases
</>
security properties
cryptographic protocols
formal methods
security analysis
security protocols
formal model
security requirements
model checking
data mining
artificial intelligence
data streams
response time
formal specification
formal verification
key agreement