3751 search results - page 17 / 751 » Events in security protocols |
ICCCN
2007
IEEE
14 years 2 months ago
2007
IEEE
— Despite the popularity of VoIP these days, this method of communication may present significant security challenges in terms of privacy and accounting. Authentication and messa...
CCS
2003
ACM
14 years 27 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
SDM
2008
SIAM
13 years 9 months ago
2008
SIAM
Currently, many privacy-preserving data mining (PPDM) algorithms assume the semi-honest model and/or malicious model of multi-party interaction. However, both models are far from ...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
Intelligent security protocols can verify whether the involved principals have properties that are defined based on certain functional and security policies. The property we focu...