2270 search results - page 194 / 454 » Modelling Secure IT Systems - A Survey |
154
Voted
PCI
2005
Springer
15 years 9 months ago
2005
Springer
Security incident management is one of the critical areas that offers valuable information to security experts, but still lacks much development. Currently, several security incide...
116
Voted
COMPSEC
2010
15 years 15 days ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
151
Voted
CIIA
2009
15 years 4 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
177
click to vote
PKC
2012
Springer
13 years 6 months ago
2012
Springer
We initiate the study of security for key-dependent messages (KDM), sometimes also known as “circular” or “clique” security, in the setting of identity-based encryption (I...
120
Voted
ICDCS
1993
IEEE
15 years 8 months ago
1993
IEEE
Despite recent widespread interest in the secure authentication of principals across computer networks there has been considerably less discussion of distributed mechanisms to sup...