947 search results - page 32 / 190 » Provable Implementations of Security Protocols |
ICICS
2009
Springer
15 years 6 months ago
2009
Springer
Privacy-preserving SQL computation in distributed relational database is one of important applications of secure multiparty computation. In contrast with comparatively more works o...
IEEEARES
2008
IEEE
15 years 6 months ago
2008
IEEE
With the growing demand of databases outsourcing and its security concerns, we investigate privacy-preserving set intersection in a distributed scenario. We propose a one-round pr...
FM
2005
Springer
15 years 5 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
ICC
2009
IEEE
15 years 6 months ago
2009
IEEE
—The key idea of dynamic spectrum access (DSA) networks is to allow the secondary, unlicensed users to detect and use unused portions of the spectrum (white spaces) opportunistic...
117
click to vote
INFORMATICALT
2007
14 years 11 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...