SPEC

swMATH20606MaRDI QIDQ32424FDOQ32424

Author name not available (Why is that?)

Described by source

• SPEC: An Equivalence Checker for Security Protocols

Cited In (6)

• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
• Mechanized metatheory revisited
• Title not available (Why is that?)
• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: SPEC