Old Web
English
Sign In
Acemap
>
Paper
>
A SAT-Based Planning Approach for Finding Logical Attacks on Cryptographic Protocols
A SAT-Based Planning Approach for Finding Logical Attacks on Cryptographic Protocols
2020
Noureddine Aribi
Yahia Lebbah
Keywords:
Computer science
Cryptographic protocol
planning approach
Computer security
Correction
Source
Cite
Save
Machine Reading By IdeaReader
19
References
0
Citations
NaN
KQI
[]