Formal correctness of security protocols

Formal correctness of security protocols

Saved in:

Bibliographic Details
Main Author:	Bella, Giampaolo
Format:	Unknown
Published:	New York Springer 2007
Subjects:	Computer networks > Security measures
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synchronizing internet protocol security (sipsec)
by: Shoniregun, Charles A.
Published: (2007)

INTERNET SECURITY PROTOCOLS protecting IP traffic
by: Black, Uyless
Published: (2000)

Internet security protocols protecting IP traffic
by: Black, Uyless D
Published: (2000)

Network security a practical guide
by: Poole, Owen
Published: (2003)

Network security a beginner's guide
by: Maiwald, Eric
Published: (2001)

Physical-layer security from information theory to security engineering
by: Bloch, Matthieu 1981-
Published: (2011)

Cisco secure internet security solutions
by: Mason, Andrew G.
Published: (2001)

NETWORK SECURITY ESSENTIALS Application and Standards
by: Stallings, William
Published: (2003)

Network security essentia applications and standards
by: Stallings, William
Published: (2011)

Network and Internet SECURITY
by: Ahuja, Vijay
Published: (1996)

Handbook of information security
Published: (2006)

Multicast and group security
by: Hardjono, Thomas
Published: (2003)

Network security
by: Pardoe, Terry D.
Published: (2005)

Network SECURITY
by: Shaffer, Steven L, et al.
Published: (1994)

Designing network security
by: Kaeo, Merike
Published: (2004)

Practical internet security
by: Vacca, John R.
Published: (2007)

Internet security a jumpstart for systems administrators and IT managers
by: Speed, Tim
Published: (2003)

Network security an introduction to techniques and standard
by: Kamaruzzaman Seman
Published: (2007)

Principles of Information Security
by: Whitman, Michael E. 1964-, et al.
Published: (2018)

Principles of Information Security
by: Whitman, Michael E., et al.
Published: (2018)

PRINCIPLES OF INFORMATION SECURITY
by: Michael E. Whitman 1964-, et al.
Published: (2018)

Router security strategies securing IP network traffic planes
by: Schudel, Gregg
Published: (2008)

NETWORK SECURITY how to plan for it and achieve it
by: Baker, Richard H
Published: (1995)

Network security a practical approach
by: Harrington, Jan L.
Published: (2005)

Strategic information security
by: Wylder, John
Published: (2004)

Network and system security
Published: (2010)

HARDENING Network Security
by: Mallery, John, et al.
Published: (2005)

Fundamentals Of Network Security
by: Maiwald, Eric
Published: (2004)

Network security fundamentals
Published: (2008)

Principles and practice of information security protecting computers from hackers and lawyers
by: Volonino, Linda
Published: (2004)

NETWORK SECURITY current status and future directions
Published: (2007)

Secure networking with windows 2000 and trust services
by: Feghhi, Jalal
Published: (2001)

Windows internet security protecting your critical data
by: Fogie, Seth
Published: (2002)

Network and internetwork security principles and practice
by: Stallings, William
Published: (1995)

Network security essentials applications and standards
by: Stallings, William
Published: (2000)

Security monitoring with Cisco security MARS
by: Halleen, Gary
Published: (2007)

Security risk management building an information security risk management program from the ground up
by: Wheeler, Evan
Published: (2011)

Maximum Windows 2000 security
by: Anonymous
Published: (2002)

Principles of information security
by: Whitman, Michael E. 1964-
Published: (2009)

Enterprisewide network security effective implementation and international standards
by: Lowe, Sue J
Published: (1994)