Exploring fair exchange protocols using specification animation

Boyd, Colin and Kearney, Peter (2000). Exploring fair exchange protocols using specification animation. In: J. Pieprzyk, E. Okamoto and J. Seberry, Lecture notes in computer science: Information Security Workshop (ISW 2000). Third International Workshop on Information Security, Wollongong, (209-223). 20-21 December 2000.

Author Boyd, Colin
Kearney, Peter
Title of paper Exploring fair exchange protocols using specification animation
Conference name Third International Workshop on Information Security
Conference location Wollongong
Conference dates 20-21 December 2000
Proceedings title Lecture notes in computer science: Information Security Workshop (ISW 2000)
Place of Publication Berlin
Publisher Springer Verlag
Publication Year 2000
Sub-type Fully published paper
ISBN 3540414169
Editor J. Pieprzyk
E. Okamoto
J. Seberry
Volume 1975
Start page 209
End page 223
Total pages 15
Collection year 2000
Language eng
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Fri, 06 Jun 2008, 13:52:08 EST