79 search results - page 3 / 16 » The Effect of Trust Assumptions on the Elaboration of Securi... |
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
ASIACRYPT
2001
Springer
13 years 9 months ago
2001
Springer
The aim of this article is to propose a fully distributed environment for the RSA scheme. What we have in mind is highly sensitive applications and even if we are ready to pay a pr...
CSFW
2008
IEEE
13 years 11 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
AAIs – Infrastructures for Authentication and Authorisation provide services for service providers on the Internet. Especially if combined with an attribute infrastructure these...
ACMSE
2005
ACM
13 years 10 months ago
2005
ACM
Despite recent advances in trust relationship control mechanisms, issues remain that impede the development of effective trust models. One of these is the lack of dynamic mechanis...