1894 search results - page 266 / 379 » A TLA Proof System |
111
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
122
Voted
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
135
click to vote
CRYPTO
2006
Springer
15 years 7 months ago
2006
Springer
We present an identity-based cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the...
134
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
136
Voted
APLAS
2001
ACM
15 years 7 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...