1999 | ||
---|---|---|
2 | EE | Alfred P. Maneki: Honest Functions and their Application to the Analysis of Cryptographic Protocols. CSFW 1999: 83-89 |
1995 | ||
1 | EE | Alfred P. Maneki: Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. CSFW 1995: 16- |