000 03533nam a22005895i 4500
001 978-3-540-68136-6
003 DE-He213
005 20160614135734.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540681366
_9978-3-540-68136-6
024 7 _a10.1007/978-3-540-68136-6
_2doi
049 _aAlfaisal Main Library
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM075000
_2bisacsh
082 0 4 _a004.6
_223
100 1 _aBella, Giampaolo.
_eauthor.
245 1 0 _aFormal Correctness of Security Protocols
_h[electronic resource] :
_bWith 62 Figures and 4 Tables /
_cby Giampaolo Bella.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
300 _aXX, 274 p. 64 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aInformation Security and Cryptography, Texts and Monographs,
_x1619-7100
505 0 _aThe Analysis of Security Protocols -- The Inductive Method -- Verifying the Protocol Goals -- The Principle of Goal Availability -- Modelling Timestamping and Verifying a Classical Protocol -- Verifying a Deployed Protocol -- Modelling Agents’ Knowledge of Messages -- Verifying Another Deployed Protocol -- Modelling Smartcards -- Verifying a Smartcard Protocol -- Modelling Accountability -- Verifying Two Accountability Protocols -- Conclusions.
520 _aComputer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties. The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis, the Inductive Method in the theorem prover Isabelle, turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating. This book will benefit researchers and graduate students in the fields of formal methods, information security, inductive methods, and networking.
650 0 _aComputer science.
650 0 _aComputer communication systems.
650 0 _aComputer security.
650 0 _aData structures (Computer science).
650 0 _aMathematical logic.
650 0 _aArtificial intelligence.
650 0 _aElectrical engineering.
650 1 4 _aComputer Science.
650 2 4 _aComputer Communication Networks.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aData Structures, Cryptology and Information Theory.
650 2 4 _aSystems and Data Security.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aCommunications Engineering, Networks.
655 7 _aElectronic books.
_2local
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540681342
830 0 _aInformation Security and Cryptography, Texts and Monographs,
_x1619-7100
856 4 0 _uhttp://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1007/978-3-540-68136-6
912 _aZDB-2-SCS
942 _2lcc
_cEBOOKS
999 _c251465
_d251465