Justin Childs

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

2 Alec Yasinsac, Justin Childs: Formal analysis of modern security protocols. Inf. Sci. 171(1-3): 189-211 (2005)

2001

1 Alec Yasinsac, Justin Childs: Analyzing Internet Security Protocols. HASE 2001: 149-162

	2005
2		Alec Yasinsac, Justin Childs: Formal analysis of modern security protocols. Inf. Sci. 171(1-3): 189-211 (2005)
	2001
1		Alec Yasinsac, Justin Childs: Analyzing Internet Security Protocols. HASE 2001: 149-162

Coauthor Index

1 Alec Yasinsac [1] [2]