3115 search results - page 448 / 623 » Synthesizing Secure Protocols |
164
click to vote
EGOV
2007
Springer
16 years 1 months ago
2007
Springer
eVoting is a challenging approach for increasing eParticipation. However, lack of citizens’ trust seems to be a main obstacle that hinders its successful realization. In this pap...
197
Voted
WPES
2006
ACM
16 years 28 days ago
2006
ACM
Connections in distributed systems, such as social networks, online communities or peer-to-peer networks, form complex graphs. These graphs are of interest to scientists in field...
174
click to vote
CISC
2005
Springer
16 years 16 days ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
161
click to vote
ESORICS
2005
Springer
16 years 15 days ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
174
Voted
ISI
2005
Springer
16 years 15 days ago
2005
Springer
This paper introduces a new approach to a problem of data sharing among multiple parties, without disclosing the data between the parties. Our focus is data sharing among two parti...