5255 search results - page 297 / 1051 » Formal Methods for Privacy |
146
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
159
Voted
PADL
2012
Springer
14 years 5 days ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
145
Voted
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We present a formal model and a simple architecture for robust pseudorandom generation that ensures resilience in the face of an observer with partial knowledge/control of the gen...
129
click to vote
AAAI
1993
15 years 6 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
159
click to vote
LATINCRYPT
2010
15 years 3 months ago
2010
the full version of the extended abstract which appears in Latincrypt '10 (august 8-11, 2010, Puebla, Mexico) M. Abdalla and P. Barreto Eds., Springer-Verlag, LNCS 6212, pages...