1. J. Alves-Foss. An Efficient Secure Authenticated Group Key Exchange Algorithm for Large and Dynamic Groups. In Proceedings of the 23rd National Information Systems Security Conference, 2000
2. On the Symbolic Reduction of Processes with Cryptographic Functions;Amadio;TCS: Theoretical Computer Science,2003
3. Partial order and sos semantics for linear constraint programs;Best,1997
4. From linear to classical logic by abstract interpretation;Blanchet;Information Processing Letters,2005
5. A Framework for the Analysis of Security Protocols;Boreale,2002