2687 search results - page 444 / 538 » Formal Analysis of PKCS |
208
click to vote
SASO
2007
IEEE
16 years 11 days ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
151
click to vote
SEFM
2007
IEEE
16 years 11 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
163
click to vote
TPHOL
2007
IEEE
16 years 10 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
155
click to vote
WCRE
2007
IEEE
16 years 10 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
156
click to vote
ATAL
2007
Springer
16 years 8 days ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...