A BRUTUS Logic for the Spi-Calculus (2001)

Cached

Download Links

by S. Gnesi , D. Latella , G. Lenzini
Venue:In: Proceedings of the IFIP Workshop on Issues in the Theory of Security. (2001
Citations:2 - 1 self