On BNET: 5 classic computer pranks
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

This paper presents a discretely timed spi-calculus. A primitive for key compromise allows to model key compromise attacks, thus going beyond the standard Dolev-Yao attacker model. A primitive for reading a global clock allows the authors to express protocols based on timestamps, which are common in practice. The authors accompany the timed spi-calculus with a type system, prove that well-typed protocols are robustly safe for secrecy and authenticity and present examples of well-typed protocols as well as an example where failure to typecheck reveals a (well-known) flaw.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:184 KB
Pages:24

People who downloaded this item also downloaded

White Paper "We Have Met the Enemy, and He is Us."
White Paper Network Topology Against Distributed Denial of Service Attacks
White Paper Roaming Honeypots for Mitigating Service-Level Denial-of-Service Attacks
White Paper Internet Security Approach: Design of an Internet's Security Taxonomy
White Paper Corporate Incident Response: Why You Can't Afford to Ignore It

Top results from Web Protocols

White Paper How Does Ping Really Work?
White Paper Solving the Mysteries of Subnetting
White Paper 7 Things Every System Administrator Should Know About OpenSSH
White Paper Macromedia Flash: White Paper for Developers and Publishers
White Paper Guide to XML Web Services Security

» View all Web Protocols listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

SmartPlanet

Click Here

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).