4111 search results - page 206 / 823 » Security, Protocols, and Trust |
107
click to vote
ICSE
2008
IEEE-ACM
16 years 23 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
111
Voted
POLICY
2007
Springer
15 years 6 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
108
Voted
ACNS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In order to increase the security for authenticated key exchange protocols, various authentication means can be used together. In this paper, we introduce a security mode...
107
Voted
CCS
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...
87
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
Ad hoc networks are subject of many recent research efforts. Especially in mobile scenarios, self-organizing networks are of high interest. While the routing aspects of mobile ad ...