679 search results - page 102 / 136 » Using decision problems in public key cryptography |
108
click to vote
CCS
2001
ACM
15 years 5 months ago
2001
ACM
A group signature scheme allows a group member to sign messages anonymously on behalf of the group, while in case of a dispute, a designated entity can reveal the identity of a si...
103
click to vote
FC
2010
Springer
15 years 5 months ago
2010
Springer
A key way in which banks mitigate the effects of phishing is to remove fraudulent websites or suspend abusive domain names. This ‘take-down’ is often subcontracted to special...
ENC
2005
IEEE
15 years 7 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
133
click to vote
ICRA
1993
IEEE
15 years 5 months ago
1993
IEEE
A control system architecture is described for an autonomous flying vehicle. The vehicle, equipped with fourteen sensors, uses a model helicopter as an airframe. The control syste...
101
click to vote
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan...