741 search results - page 48 / 149 » Verification of security protocols using LOTOS-method and ap... |
127
click to vote
IJSN
2006
15 years 3 months ago
2006
: We provide a message board model for collaborative systems, and propose an architecture and protocol for securing collaborative applications over message boards. The proposed arc...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Nowadays, the IP Multimedia Subsystem (IMS) is a promising research field. Many ongoing works related to the security and the performances of its employment are presented to the r...
127
click to vote
PROVSEC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we study the soundness amplification by repetition of cryptographic protocols. As a tool, we use the Chernoff Information. We specify the number of attempt...
167
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
137
click to vote
ENTCS
2007
15 years 3 months ago
2007
The potentials of modern information technology can only be exploited, if the underlying infrastructure and the applied applications sufficiently take into account all aspects of ...