CHOO, BOYD, HITCHCOCK and MAITLAND (2004) Complementing Computational Protocol Analysis with Formal Specifications

getCITED

Home Search Add Content Reports Help

Edit Publication | Edit Contributors | Delete Publication | Edit References | Edit Citations

Add to Bookstack | Show Bookstack | Change Bookstack

Complementing Computational Protocol Analysis with Formal Specifications

Post a Comment

CONTRIBUTORS:

	Author:	CHOO, KIM-KWANG RAYMOND (Australian Institute of Criminology)
	Author:	BOYD, COLIN
	Author:	HITCHCOCK, YVONNE
	Author:	MAITLAND, GREG

PROCEEDINGS TITLE:

IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust - FAST 2004 (Volume 173/2005 of IFIP International Federation for Information Processing Series)

YEAR:

2004

PUB TYPE:

Conference Paper in Proceedings

PAGES:

129 - 144

SUBJECT(S):

None

DISCIPLINE:

Computer Science

HTTP:

LANGUAGE:

English

PUB ID:

103-429-558 (Last edited on 2006/08/24 18:22:15 GMT-6)

SPONSOR(S):

CITATIONS: (Display Abstract)

[ 0 | 2 ]

Boyd, Colin. (2004) Design of Secure Key Establishment Protocols: Successes, Failures and Prospects

(Conference Paper in Proceedings : 5th International Conference on Cryptology in India - INDOCRYPT 2004 (Vol. 3348/2004 of Lecture Notes in Computer Science) )

STATISTICS

Click on # to view
Citations		1
References		0
Comments		0
Quality		0/0.00
Interest		0/0.00
View(er)s		2/162

Quality
	N/A
High
	7
	6
	5
	4
	3
	2
	1
Low

Interest
	N/A
High
	7
	6
	5
	4
	3
	2
	1
Low

Prev | Next