TAPS
From MaRDI portal
Software:14788
swMATH2244MaRDI QIDQ14788FDOQ14788
Author name not available (Why is that?)
Cited In (17)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Pattern-matching spi-calculus
- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
- Title not available (Why is that?)
- A symbolic decision procedure for cryptographic protocols with time stamps
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Title not available (Why is that?)
- Automatic verification of temporal-epistemic properties of cryptographic protocols
- Title not available (Why is that?)
- A semantics for web services authentication
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Reasoning
- Verification of cryptographic protocols: tagging enforces termination
- Tools and Algorithms for the Construction and Analysis of Systems
- Theory and Applications of Satisfiability Testing
This page was built for software: TAPS
