719 search results - page 19 / 144 » Proving Security Protocols Correct |
105
Voted
PDCAT
2007
Springer
15 years 3 months ago
2007
Springer
When datasets are distributed on different sources, finding out their intersection while preserving the privacy of the datasets is a widely required task. In this paper, we addre...
88
Voted
CCS
2007
ACM
15 years 1 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
99
Voted
ICDCS
1997
IEEE
15 years 1 months ago
1997
IEEE
A secure reliable multicast protocol enables a process to send a message to a group of recipients such that all correct destinations receive the same message, despite the maliciou...
ESSOS
2010
Springer
15 years 6 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
SOUPS
2009
ACM
15 years 4 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...