1894 search results - page 217 / 379 » A TLA Proof System |
164
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
114
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
157
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
Recently, at Crypto 2008, Boneh, Halevi, Hamburg, and Ostrovsky (BHHO) solved the longstanding open problem of "circular encryption," by presenting a public key encrypti...
131
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
124
click to vote
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...