4401 search results - page 502 / 881 » Computing with Default Logic |
178
Voted
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...
198
Voted
TGC
2007
Springer
16 years 29 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
182
click to vote
FSTTCS
2004
Springer
16 years 7 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
155
Voted
CONCUR
2003
Springer
16 years 2 days ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
208
Voted
PODS
2010
ACM
15 years 8 months ago
2010
ACM
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....