TAPS
From MaRDI portal
Software:14788
No author found.
Related Items (17)
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theory and Applications of Satisfiability Testing ⋮ Unnamed Item ⋮ A semantics for web services authentication ⋮ Unnamed Item ⋮ SAT-Based Verification of Security Protocols Via Translation to Networks of Automata ⋮ Verification of cryptographic protocols: tagging enforces termination ⋮ Automatic verification of temporal-epistemic properties of cryptographic protocols ⋮ Pattern-matching spi-calculus ⋮ Automated Reasoning ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ A symbolic decision procedure for cryptographic protocols with time stamps ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for software: TAPS
