526 search results - page 55 / 106 » A Z Based Approach to Verifying Security Protocols |
ICICS
2004
Springer
14 years 1 months ago
2004
Springer
In order to decide on advertisement fees for web servers, Naor and Pinkas introduced (threshold) metering schemes secure against coalitions of corrupt servers and clients. They sho...
CNSR
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents an approach for managing access to services over presence-based communications based on the context of the situation. This paper addresses two technical challe...
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
ACSAC
2000
IEEE
14 years 1 days ago
2000
IEEE
The widespread use of public networks, such as the Internet, for the exchange of sensitive data, like legally valid documents and business transactions, poses severe security cons...
WETICE
2006
IEEE
14 years 1 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...