185 search results - page 31 / 37 » Formal Specification and Verification of a Secure Micropayme... |
PROVSEC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...
PDSE
1998
13 years 9 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
ICNP
1999
IEEE
14 years 2 days ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
We address the problem of confidentiality in scenarios where the attacker is not only able to observe the communication between principals, but can also fully compromise the commu...