2702 search results - page 283 / 541 » Practically Applicable Formal Methods |
168
click to vote
ICNP
2007
IEEE
16 years 27 days ago
2007
IEEE
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
178
click to vote
CISC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Key privacy is a notion regarding the privacy of the owner of a public key, which has important applications in building (receiver) anonymous channels, or privacy-enhance...
184
click to vote
ICAC
2006
IEEE
16 years 19 days ago
2006
IEEE
— Over the past decade, wide-area distributed computing has emerged as a powerful computing paradigm. Virtual machines greatly simplify wide-area distributed computing ing the ab...
169
click to vote
DAC
2006
ACM
16 years 17 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
159
click to vote
ISPEC
2005
Springer
16 years 2 days ago
2005
Springer
Token-controlled public key encryption (TCPKE) schemes, introduced in [1], offer many possibilities of application in financial or legal scenarios. Roughly speaking, in a TCPKE s...