Title :	The modelling and analysis of security protocols : the CSP approach
Material Type:	printed text
Authors:	Ryan, Peter, Ph.D, Author ; Schneider, S. A. (Steve A.), Associated Name
Publisher:	Addison-Wesley
Publication Date:	2001
Pagination:	xiv, 300 p.
Layout:	ill., pbk.
Size:	24 cm.
ISBN (or other code):	0201674718
Price:	1760 Baht
Languages :	English (eng)
Descriptors:	[LCSH]Computer network protocols [LCSH]Computer networks -- Security measures [LCSH]Computer security -- Mathematical models [LCSH]Computer software -- Verification [LCSH]Computers -- Access control [LCSH]Cryptography
Curricular :	BSCS/BSMT/MESE/MSIT/MSMT/PhDT
Record link:	http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=3928

The modelling and analysis of security protocols : the CSP approach [printed text] / Ryan, Peter, Ph.D, Author ; Schneider, S. A. (Steve A.), Associated Name . - Harlow, England, New York : Addison-Wesley, 2001 . - xiv, 300 p. : ill., pbk. ; 24 cm.
ISBN : 0201674718 : 1760 Baht
Languages : English (eng)

Descriptors:	[LCSH]Computer network protocols [LCSH]Computer networks -- Security measures [LCSH]Computer security -- Mathematical models [LCSH]Computer software -- Verification [LCSH]Computers -- Access control [LCSH]Cryptography
Curricular :	BSCS/BSMT/MESE/MSIT/MSMT/PhDT
Record link:	http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=3928