Search Sciweavers | Sciweavers

3115 search results - page 30 / 623

» Synthesizing Secure Protocols

click to vote

ISICT
2003

165views Information Technology» more ISICT 2003»

On the automated implementation of modal logics used to verify security protocols

13 years 10 months ago

Download www.ece.ul.ie

: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...

Tom Coffey, Reiner Dojen, Tomas Flanagan

claim paper

Read More »

click to vote

SP
2000
IEEE

96views Security Privacy» more SP 2000»

Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols

14 years 17 days ago

Download www.dcs.kcl.ac.uk

Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...

John A. Clark, Jeremy L. Jacob

claim paper

Read More »

click to vote

PERCOM
2005
ACM

100views Computer Networks» more PERCOM 2005»

Link Layer Security for SAHN Protocols

14 years 8 months ago

Download www.csse.monash.edu.au

Abstract-- Wireless networks are at risk of security attacks since transmissions can be intercepted by anyone within the transmission range. Therefore participating entities should...

Muhammad Mahmudul Islam, Ronald Pose, Carlo Kopp

claim paper

Read More »

click to vote

CSFW
1999
IEEE

134views Security Privacy» more CSFW 1999»

Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief

14 years 1 months ago

Download www.csl.sri.com

Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...

David Monniaux

claim paper

Read More »

click to vote

TIFS
2010

109views more TIFS 2010»

A Provably Secure Anonymous Buyer-Seller Watermarking Protocol

13 years 3 months ago