Spi2Java

swMATH9935MaRDI QIDQ21914FDOQ21914

Author name not available (Why is that?)

Cited In (3)

• Security Protocol Verification: Symbolic and Computational Models
• Title not available (Why is that?)
• Safe abstractions of data encodings in formal security protocol models

This page was built for software: Spi2Java