Back to Results
First PageMeta Content
Bisimulation / Logic in computer science / Golden ratio / Numbers / Μ operator / Mathematics / Theoretical computer science / Applied mathematics


Context-Sensitive Equivalences for Non-Interference based Protocol Analysis ? Michele Bugliesi, Ambra Ceccato, and Sabina Rossi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia via Torino 155, 30172 Vene
Add to Reading List

Document Date: 2005-06-07 06:55:04

Open Document

File Size: 174,65 KB

Share Result on Facebook

Currency

pence / /

/

IndustryTerm

contract signing protocol / mobile distributed systems / exchange sub-protocol / fair exchange protocol / electronic commerce transactions / cryptographic protocols / sub-protocols / proof systems / main exchange sub-protocol / partial solution / commitment protocol / /

Organization

European Union / /

Person

Ambra Ceccato / Sabina Rossi Dipartimento di Informatica / Michele Bugliesi / /

Technology

encryption / exchange sub-protocol / ASW protocol / cryptography / main exchange sub-protocol / ASW fair exchange protocol The ASW contract signing protocol / commitment protocol / fair exchange protocol / /

SocialTag