TAPS
From MaRDI portal
swMATH2244MaRDI QIDQ14788FDOQ14788
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/w2r8400275239569/
Cited In (20)
- 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
- A symbolic decision procedure for cryptographic protocols with time stamps
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- Automatic verification of temporal-epistemic properties of cryptographic protocols
- TulaFale
- Casper
- Title not available (Why is that?)
- Cryptyc
- A semantics for web services authentication
- Modelling and checking timed authentication of security protocols
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Reasoning
- Verifying security protocols modelled by networks of automata
- 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
