5488 search results - page 803 / 1098 » On the Secure Implementation of Security Protocols |
160
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Significant effort has been invested in developing expressive and flexible access-control languages and systems. However, little has been done to evaluate these systems in practic...
179
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
—Network Intrusion Detection Systems (NIDS) are more and more important in today’s network security for identifying and preventing malicious attacks over the network. This pape...
167
click to vote
NSPW
2006
ACM
16 years 17 days ago
2006
ACM
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
169
click to vote
SAINT
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a case study to effectively run a parallel branch and bound application on the Grid. The application discussed in this paper is a fine-grain application and is...
194
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...