3115 search results - page 295 / 623 » Synthesizing Secure Protocols |
172
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. In the field of Security, process equivalences have been used to characterize various information-hiding properties (for instance secrecy, anonymity and non-interference)...
188
click to vote
CNSM
2010
15 years 4 months ago
2010
Over the last decade, IPv6 has established itself as the most mature network protocol for the future Internet. Its recent deployment in core networks of operators, its availability...
179
Voted
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We propose a coin-flip protocol which yields a string of strong, random coins and is fully simulatable against poly-sized quantum adversaries on both sides. It can be implemented ...
173
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
166
click to vote
MA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we propose a global tracking service for mobile agents, which is scalable to the Internet and accounts for security issues as well as the particularities of mobile a...