1612 search results - page 261 / 323 » About models of security protocols |
112
click to vote
CRYPTO
2011
Springer
14 years 1 months ago
2011
Springer
RFID security is currently one of the major challenges cryptography has to face, often solved by protocols assuming that an on-tag hash function is available. In this article we pr...
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents an architecture that helps users to collect and qualify meta-information about web resources within a weblog and then share them with a group of people. Our arc...
112
click to vote
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...
110
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
105
click to vote
ISW
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...