2846 search results - page 62 / 570 » Not one click for security |
143
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
134
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
112
click to vote
ISSA
2004
15 years 5 months ago
2004
The need for Information Security in organisations, regardless of their type and size, is being addressed by emerging standards and recommended best practices. The various standar...
141
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
102
Voted
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the...