Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

TOCL
2010

favoriteEmaildiscussreport

48views more TOCL 2010»

Deciding strategy properties of contract-signing protocols

13 years 2 months ago

Deciding strategy properties of contract-signing protocols

Download tocl.acm.org

Detlef Kähler, Ralf Küsters, Thomas Wilk

Real-time Traffic

TOCL 2010 |

claim paper

Related Content

» Deciding Properties of ContractSigning Protocols

» Constraint Solving for ContractSigning Protocols

» Compositional Analysis of Contract Signing Protocols

» Analysis of probabilistic contract signing

» Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Elect...

» ParTAC A PartitionTolerant Atomic Commit Protocol for MANETs

» Fast Exclusion of Errant Devices from Vehicular Networks

» Noncooperative power control and transmission scheduling in wireless collision channels

Post Info
More Details (n/a)

Added	31 Jan 2011
Updated	31 Jan 2011
Type	Journal
Year	2010
Where	TOCL
Authors	Detlef Kähler, Ralf Küsters, Thomas Wilke

Comments (0)