Cover Image

The modelling and analysis of security protocols:: the CSP Aprroach/

Main Author:	Ryan, Peter
Other Authors:	Schneider, Steve
Format:	Book
Language:	English
Published:	London: Pearson Education Limited, c2001
Subjects:	Computer networks > Security measures Computer network protocols Computer software > Verification Computer security > Mathematical models Computer > Access control

Similar Items

Internet and Intranet security /
by: Oppliger, Rolf
Published: (2002)

Internet and Intranet security /
by: Oppliger, Rolf
Published: (1998)

Instant Spring Security starter learn the fundamentals of web authentication and authorization using Spring Security /
by: Jagielski, Piotr.
Published: (2013)

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

Implementing NAP and NAC security technologies the complete guide to network access control /
by: Hoffman, Daniel 1972-
Published: (2008)

Formal correctness of security protocols /
by: Bella, Giampaolo
Published: (2007)

Ethereal packet sniffing /
by: Orebaugh, Angela
Published: (2004)

Microsoft DirectAccess best practices and troubleshooting /
by: Krause, Jordan.

Ethereal packet sniffing /
by: Orebaugh, Angela.
Published: (2004)

Ethereal : packet sniffing /
by: Orebaugh, Angela.
Published: (2004)

Building virtual pentesting labs for advanced penetration testing : build intricate virtual architecture to practice any penetration testing technique virtually /
by: Cardwell, Kevin,

Secure data networking/
by: Purser, Michael, 1937-.
Published: (1993)

SSL and TLS theory and practice /
by: Oppliger, Rolf.
Published: (2009)

Nokia network security : solutions handbook /
by: Maxwell, Doug, CCSI.
Published: (2002)

Protocol management in computer networking /
by: Byrnes, Philippe.
Published: (2000)

Managing Cisco network security /
Published: (2002)

Authentication systems for secure networks/
by: Oppliger, Rolf
Published: (1996)

Internet and Intranet security/
by: Oppliger, Rolf
Published: (1998)

Protocol : how control exists after decentralization /
by: Galloway, Alexander R., 1974-
Published: (2004)

Beyond cybersecurity : protecting your digital business /

The hacker's handbook: the strategy behind breaking into and defending networks/
by: Young, Susan, 1968-Susan Elizabeth
Published: (2004)

Building DMZs for Enterprise networks
Published: (2003)

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

Intranet security : stories from the trenches /
by: McCarthy, Linda
Published: (1998)

Elements of network protocol design /
by: Gouda, Mohamed G., 1947-
Published: (1998)

Network security /
by: Perez, Andre,

Network security: beginner's guide/
by: Maiwald, Eric
Published: (2003)

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

Secure your network for free : using Nmap, Wireshark, Snort, Nessus, and MRTG /
by: Seagren, Eric.
Published: (2006)

Beautiful security /
Published: (2009)

Cisco security
by: Bhatnagar, Kartik.
Published: (2002)

Security warrior/
by: Peikari, Cyrus
Published: (2004)

Network security : the complete reference /
by: Bragg, Roberta
Published: (2004)

Network security: the complete reference/
by: Bragg, Roberta
Published: (2004)

CCNA security course booklet.
Published: (2010)

Managing Cisco network security
Published: (2002)

Protocol conformance testing using unique input/output sequences /
Published: (1997)

Implementing IPsec : making security work on VPNs, intranets, and extranets /
by: Kaufman, Elizabeth, 1967-
Published: (1999)

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

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

Cannot write session to /tmp/vufind_sessions/sess_vc23r1p3re0agq0v5scgftejm3