1235 search results - page 26 / 247 » Formalizing information security knowledge |
PROVSEC
2010
Springer
13 years 5 months ago
2010
Springer
Zero-knowledge identification schemes solve the problem of authenticating one party to another via an insecure channel without disclosing any additional information that might be u...
KSEM
2009
Springer
14 years 2 months ago
2009
Springer
The changes in the dynamics of the economy and the corresponding mobility and fluctuations of knowledge workers within organizations make continuous social learning an essential f...
ARCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
ENTCS
2006
13 years 7 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...