1597 search results - page 262 / 320 » Mental Models of Computer Security |
144
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
111
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
117
click to vote
GRID
2004
Springer
15 years 7 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
138
click to vote
PDPTA
2004
15 years 3 months ago
2004
Construction activities take place in what can be called a dynamic virtual organization (VO). VOs require a secure, reliable, scalable information infrastructure that allows collab...
104
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
A profiling adversary is an adversary whose goal is to classify a population of users into categories according to messages they exchange. This adversary models the most common pr...