1795 search results - page 277 / 359 » Security Models and Information Flow |
140
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
126
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
103
Voted
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
Dissemination control (DCON) is emerging as one of the most important and challenging goals for information security. DCON is concerned with controlling information and digital ob...
108
Voted
ISW
2001
Springer
15 years 8 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
126
Voted
ISW
2010
Springer
15 years 1 months ago
2010
Springer
Users are increasingly dependent on mobile devices. However, current authentication methods like password entry are significantly more frustrating and difficult to perform on these...