3115 search results - page 226 / 623 » Synthesizing Secure Protocols |
166
click to vote
ACSW
2003
15 years 6 months ago
2003
The nature of mobile communication, characterised for example by terminals having poor user interface and limited processing capacity, as well as complex combination of network pr...
142
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
129
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
ā Organizations use security policies to regulate how they share and exchange information, e.g., under what conditions data can be exchanged, what protocols are to be used, who i...
117
click to vote
ACISP
1999
Springer
15 years 9 months ago
1999
Springer
Non-repudiation turns out to be an increasingly important security service with the fast growth of electronic commerce on the Internet. Non-repudiation services protect the transac...
156
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we show that computational proofs of indistinguishabili...