SPEC

swMATH20606MaRDI QIDQ32424

No author found.

Described by source

• SPEC: An Equivalence Checker for Security Protocols

Related Items (6)

Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity ⋮ Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mechanized metatheory revisited ⋮ Unnamed Item

This page was built for software: SPEC