2687 search results - page 40 / 538 » Formal Analysis of PKCS |
ICECCS
2009
IEEE
14 years 5 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
IPPS
2008
IEEE
14 years 5 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...
FC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...
MABS
2004
Springer
14 years 4 months ago
2004
Springer
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and mak...
ECAI
2000
Springer
14 years 3 months ago
2000
Springer
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental...