949 search results - page 115 / 190 » Design methods for security and trust |
149
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
145
click to vote
CRYPTO
2003
Springer
15 years 9 months ago
2003
Springer
We deal with computational assumptions needed in order to design secure cryptographic schemes. We suggest a classi£cation of such assumptions based on the complexity of falsifying...
119
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
135
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
121
click to vote
PERVASIVE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describesa method for establishing ad hoc and infrastructuremode wireless network connections based on physical proximity. Users can easily establish secure wi...