4795 search results - page 83 / 959 » The Message Classification Model |
163
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
166
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
168
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
150
click to vote
CSIE
2009
IEEE
16 years 29 days 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...
155
click to vote
WSFM
2007
Springer
16 years 9 days ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...