14824 search results - page 241 / 2965 » Security - Introduction |
209
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
188
click to vote
GRID
2005
Springer
16 years 5 days ago
2005
Springer
The paper provides an overview of available web applications and Web Services security vulnerability models and proposes a classification of the potential Grid and Web Services at...
144
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
134
click to vote
ASIACRYPT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. It is almost a folklore-knowledge that hash-based time-stamping schemes are secure if the underlying hash function is collisionresistant but still no rigorous proofs have...
190
click to vote
ASIASIM
2004
Springer
16 years 1 days ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...