The following pages link to TAPS (Q14788):
Displayed 17 items.
- Verification of cryptographic protocols: tagging enforces termination (Q1770413) (← links)
- Pattern-matching spi-calculus (Q2500522) (← links)
- A symbolic decision procedure for cryptographic protocols with time stamps (Q2568115) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- (Q4418583) (← links)
- (Q4418585) (← links)
- (Q4422080) (← links)
- (Q4447230) (← links)
- (Q4539594) (← links)
- Automatic verification of temporal-epistemic properties of cryptographic protocols (Q5188176) (← links)
- Automated Reasoning (Q5307054) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308417) (← links)
- Theory and Applications of Satisfiability Testing (Q5325866) (← links)
- (Q5422283) (← links)
- (Q5422290) (← links)
- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata (Q5423888) (← links)
- A semantics for web services authentication (Q5892652) (← links)