249 search results - page 36 / 50 » Modelling a Secure, Mobile, and Transactional System with CO... |
108
click to vote
VOTEID
2007
Springer
15 years 5 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
IJNSEC
2007
14 years 11 months ago
2007
The ability of communicating with a selected party anonymously is an important aspect of network security. Communicating anonymously means that no adversary can discern who is com...
101
click to vote
WOSP
2004
ACM
15 years 5 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
107
click to vote
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
This paper deals with a new approach to build a completely distributed and decentralized Intrusion Detection and Response System (IDRS) in computer networks. This approach is call...
115
click to vote
DBSEC
2006
15 years 1 months ago
2006
We propose a notarized federated identity management model that supports efficient user authentication when providers are unknown to each other. Our model introduces a notary servi...