2947 search results - page 30 / 590 » The timely token protocol |
109
click to vote
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
The paper describes the design of FAME (Flexible Access Middleware Extension) architecture aimed at providing multi-level user authentication service for Shibboleth, which is endo...
COMCOM
2006
14 years 12 months ago
2006
Abstract. Man-in-the-middle attacks pose a serious threat to SSL/TLSbased electronic commerce applications, such as Internet banking. In this paper, we argue that most deployed use...
136
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
SRDS
2000
IEEE
15 years 4 months ago
2000
IEEE
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...