2808 search results - page 454 / 562 » Mobile Agent Security |
199
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
169
click to vote
WETICE
2002
IEEE
15 years 10 months ago
2002
IEEE
Distributed Denial-of-Service attacks are still a big threat to the Internet. Several proposals for coping with the attacks have been made in the recent past, but neither of them ...
203
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
166
click to vote
AAI
2004
15 years 5 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
186
click to vote
ESAS
2007
Springer
16 years 3 days ago
2007
Springer
The problem of secure routing in mobile ad hoc networks is long-standing and has been extensively studied by researchers. Recently, techniques of aggregating signatures have been a...