3115 search results - page 445 / 623 » Synthesizing Secure Protocols |
210
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
167
click to vote
PKC
2012
Springer
13 years 8 months ago
2012
Springer
We define a new notion of relatively-sound non-interactive zeroknowledge (NIZK) proofs, where a private verifier with access to a trapdoor continues to be sound even when the Ad...
270
click to vote
ICDE
1997
IEEE
16 years 7 months ago
1997
IEEE
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
147
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
162
click to vote
ICSE
2009
IEEE-ACM
16 years 23 days ago
2009
IEEE-ACM
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...