12637 search results - page 248 / 2528 » Security for Extensible Systems |
135
click to vote
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
162
click to vote
SCN
2008
Springer
15 years 5 months ago
2008
Springer
We present an implementation of the protocol of Lindell and Pinkas for secure two-party computation which is secure against malicious adversaries [13]. This is the first running sy...
176
click to vote
JDCTA
2010
14 years 12 months ago
2010
Nowadays, Effectiveness and benefits of mobile phone technologies appeared more than expected. During the recent decade, using of mobile phone improved from telephone call tools t...
144
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
151
click to vote
WS
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...