Search Sciweavers | Sciweavers

166 search results - page 3 / 34

» Formal analysis of secure contracting protocol for e-tenderi...

click to vote

CONCUR
2005
Springer

103views Distributed And Parallel Com...» more CONCUR 2005»

Constraint Solving for Contract-Signing Protocols

13 years 11 months ago

Download www.ti.informatik.uni-kiel.de

Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...

Detlef Kähler, Ralf Küsters

claim paper

Read More »

click to vote

ACISP
2004
Springer

129views Security Privacy» more ACISP 2004»

Analysis and Improvement of Micali's Fair Contract Signing Protocol

13 years 11 months ago

Download www.cs.bham.ac.uk

In PODC 2003, Micali presented a fair electronic exchange protocol for contract signing with an invisible trusted party [17]. The protocol was ﬁled as a US patent No 5666420 in 1...

Feng Bao, Guilin Wang, Jianying Zhou, Huafei Zhu

claim paper

Read More »

click to vote

ASWEC
2006
IEEE

172views Software Engineering» more ASWEC 2006»

Formally Analysing a Security Protocol for Replay Attacks

14 years 11 days ago

Download eprints.qut.edu.au

The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...

Benjamin W. Long, Colin J. Fidge

claim paper

Read More »

click to vote

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

13 years 6 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »