Pages that link to "Item:Q5325866"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325866):
Displaying 8 items.
- Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols (Q1887728) (← links)
- Safe abstractions of data encodings in formal security protocol models (Q2018750) (← links)
- GridSAT: Design and implementation of a computational grid application (Q2505055) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- Information based reasoning about security protocols (Q2841219) (← links)
- An optimized intruder model for SAT-based model-checking of security protocols (Q2848037) (← links)
- Logics in Artificial Intelligence (Q5394158) (← links)
- Logic Programming (Q5475810) (← links)