000			02133nam a22004815a 4500
005			20250914164133.0
006			m d
007			cr nn 008maaau
008			090217s2005 mau j eng d
020			_a9780387240985 (electronic bk.)
020			_a9780387240503 (paper)
035			_a(Springer)978-0-387-24050-3
039		9	_a200902171209 _bmuhaimin _c200902171150 _dmuhaimin _c200902021305 _dmuhaimin _c200809161711 _dmuhaimin _y04-03-2008 _zmuhaimin
050	0	0	_aQA76.9.A25 _bW666 2004
082	0	0	_a005.8 _222
090			_aQA76.9.A25 _bW927 2004
111	2		_aWorkshop on Formal Aspects in Security and Trust _n(2nd : _d2004 : _cToulouse, France)
245	1	0	_aFormal Aspects in Security and Trust _h[electronic resource] : _bIFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / _cedited by Theo Dimitrakos, Fabio Martinelli.
260			_aBoston, MA : _bInternational Federation for Information Processing, _c2005.
300			_ax, 246 p. : _bill., digital ; _c25 cm.
440		0	_aIFIP International Federation for Information Processing, _x1571-5736 ; _v173
650		0	_aComputer security _vcongresses.
650		0	_aFormal methods (Computer science) _vCongresses.
650		0	_aTrust _vCongresses.
650	1	4	_aComputer Science.
650	2	4	_aPerformance and Reliability.
650	2	4	_aData Structures, Cryptology and Information Theory.
650	2	4	_aData Encryption.
650	2	4	_aPattern Recognition.
650	2	4	_aInformation Systems and Communication Service.
650	2	4	_aModels and Principles.
700	1		_aDimitrakos, Theo.
700	1		_aMartinelli, Fabio.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer e-books
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b104303
907			_a.b14109979 _b2022-04-06 _c2019-11-12
942			_n0 _kQA76.9.A25 W927 2004
914			_avtls003368403
998			_ae _b2008-03-04 _cm _dz _feng _gmau _y0 _z.b14109979
999			_c406979 _d406979