694 search results - page 37 / 139 » Security and Usability: Analysis and Evaluation |
133
click to vote
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
CRYPTO
2008
Springer
15 years 1 months ago
2008
Springer
We examine the combination of two directions in the field of privacy concerning computations over distributed private inputs
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
101
click to vote
SIMULATION
2010
14 years 6 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...