469 search results - page 34 / 94 » On Adversary Models and Compositional Security |
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
FSE
2008
Springer
13 years 9 months ago
2008
Springer
Chosen-plaintext attacks on private-key encryption schemes are currently modeled by giving an adversary access to an oracle that encrypts a given message m using random coins that ...
EDOC
2003
IEEE
14 years 29 days ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
ESORICS
2012
Springer
11 years 10 months ago
2012
Springer
In certain applications, it is important for a remote server to securely determine whether or not two mobile devices are in close physical proximity. In particular, in the context ...