000			00683nam a2200217 a 4500
005			20260717093423.0
008			260717s2024 ii 000 0 eng d
020			_a9780367546656
041			_aeng
082	0	4	_a003.54
100	1		_aAkleylek, Sedat
245	1	0	_aHandbook of formal analysis and verification in cryptography / _cAkleylek, Sedat
264		1	_aBoca Raton : _bCRC Press, Taylor & Francis Group, _c2024.
300			_axv, 428 p. : ills., ; 23 cm.
500			_aIncludes bibliographical references and index.
650		4	_aCryptography.
650		4	_aMathematical analysis.
650		4	_aComputer systems-Verification.
700	1		_aBesik Dundua.
942			_cBK
999			_c58261 _d58261