329 search results - page 5 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
128
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
119
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
119
click to vote
CSIE
2009
IEEE
15 years 10 months ago
2009
IEEE
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...
108
Voted
ICCSA
2005
Springer
15 years 8 months ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
127
click to vote
ENTCS
2006
15 years 3 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...