Justin Childs

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005

2 EE 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	EE	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]