15 search results - page 1 / 3 » Modelling Distributed Network Security in a Petri Net- and A... |
MATES
2010
Springer
13 years 2 months ago
2010
Springer
ACSAC
2003
IEEE
13 years 8 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...
ENTCS
2006
13 years 4 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
IASTEDSEA
2004
13 years 5 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
IAJIT
2010
13 years 3 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...