1825 search results - page 178 / 365 » Cryptographic Securities Exchanges |
152
click to vote
TOPLAS
2008
15 years 4 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
150
click to vote
TIT
2011
14 years 11 months ago
2011
Abstract. In 1998, Blaze, Bleumer, and Strauss proposed a cryptographic primitive called proxy re-encryption, in which a proxy transforms – without seeing the corresponding plain...
141
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
122
click to vote
ICIP
2008
IEEE
15 years 10 months ago
2008
IEEE
In many applications, it is often desirable to extract a consistent key from a multimedia object (e.g., an image), even when the object has gone through a noisy channel. For examp...
133
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
In current Field-Programmable-Logic Architecture (FPGA) design flows, it is very hard to control the routing of submodules. It is thus very hard to make an identical copy of an ex...