Alfred P. Maneki

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1999

2 Alfred P. Maneki: Honest Functions and their Application to the Analysis of Cryptographic Protocols. CSFW 1999: 83-89

1995

1 Alfred P. Maneki: Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. CSFW 1995: 16-

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