375 search results - page 10 / 75 » What is Correctness of Security Protocols |
132
click to vote
COMCOM
2000
15 years 5 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
187
click to vote
TCS
2002
15 years 5 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
159
Voted
WISTP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol...
204
click to vote
CSFW
2009
IEEE
16 years 19 days ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
180
click to vote
PDCAT
2007
Springer
15 years 12 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...