2270 search results - page 97 / 454 » Modelling Secure IT Systems - A Survey |
124
click to vote
TIT
2008
15 years 3 months ago
2008
Authentication codes provide message integrity guarantees in an information theoretic sense within a symmetric key setting. Information theoretic bounds on the success probability...
129
Voted
IVC
2008
15 years 3 months ago
2008
This paper presents arguments that explicit strategies for visual attentional selection are important for cognitive vision systems, and shows that a number of proposals currently ...
126
Voted
SEC
2003
15 years 4 months ago
2003
: The paper contains presentation of a framework, which would significantly increase quality of information security products and procedures, and Commentary on difficulties of impl...
182
Voted
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
129
click to vote
SP
2007
IEEE
15 years 9 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...