TAPS
swMATH ID: | 2244 |
Software Authors: | Cohen, Ernie |
Description: | TAPS: A first-order verifier for cryptographic protocols |
Homepage: | http://www.springerlink.com/content/w2r8400275239569/ |
Related Software: | Casper; AVISPA; SATO; Chaff; Kronos; MCMAS-X; MCMAS; VerICS; LDYIS; BerkMin; SPASS; NRL; Cryptyc; Isabelle/HOL; Coq; TulaFale; OTTER |
Cited in: | 18 Documents |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
TAPS: A first-order verifier for cryptographic protocols. Zbl 0974.68562 Cohen, Ernie |
2000
|
all
top 5
Cited by 35 Authors
all
top 5
Cited in 6 Serials
Cited in 3 Fields
16 | Computer science (68-XX) |
11 | Information and communication theory, circuits (94-XX) |
1 | Mathematical logic and foundations (03-XX) |