335 search results - page 59 / 67 » Reasoning about Probabilistic Security Using Task-PIOAs |
118
Voted
DIM
2007
ACM
15 years 5 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
120
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
130
click to vote
FPL
2008
Springer
15 years 3 months ago
2008
Springer
A high-speed and secure dynamic partial reconfiguration (DPR) system is realized with AES-GCM that guarantees both confidentiality and authenticity of FPGA bitstreams. In DPR syst...
109
Voted
ISI
2006
Springer
15 years 1 months ago
2006
Springer
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...
114
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...