719 search results - page 19 / 144 » Proving Security Protocols Correct |
153
click to vote
PDCAT
2007
Springer
15 years 10 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...
149
click to vote
CCS
2007
ACM
15 years 8 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...
150
click to vote
ICDCS
1997
IEEE
15 years 8 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...
131
click to vote
ESSOS
2010
Springer
16 years 1 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...
138
click to vote
SOUPS
2009
ACM
15 years 10 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...