000			01172nam a22002177a 4500
999			_c5625 _d5625
003			OSt
005			20210128154625.0
008			121231b xxu||||| |||| 00| 0 eng d
020			_a9788131508497
040			_cYeshi
082	0	0	_a005.8 SIN
100	1		_aSinn, Richard.
245	1	0	_aSoftware security : _btheory, programming and practice / _cRichard Sinn.
260			_aAustralia : _bCourse technology, _c2008.
300			_a375 p. : _bill. ; _c24 cm.
504			_aIncludes bibliographical references and index.
520			_aThis book constitutes the thoroughly refereed post-proceedings of the Second Mext-NSF-JSPS Interntional Symposium on Software Security, ISSS 2003, held in Tokyo, Japan in November 2003. The 18 revised full invited and selected papers presented were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on analysis of protocols and cryptography, verification of security properties, safe implementation of programming languages, secure execution environments, and secure systems and security management.
650		0	_aSoftware protection.
650		0	_aComputer security.
942			_2ddc _cBK