3 search results - page 1 / 1 » Modelling Ciphersuite and Version Negotiation in the TLS Pro... |
IACR
2011
12 years 4 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...
ICDCS
2005
IEEE
13 years 10 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
SACMAT
2006
ACM
13 years 10 months ago
2006
ACM
In recent years, trust negotiation (TN) has been proposed as a novel access control solution for use in open system environments in which resources are shared across organizationa...