2043 search results - page 287 / 409 » Reasoning About Security Models |
109
Voted
ISPW
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
123
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
94
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
109
click to vote
TARK
2005
Springer
15 years 6 months ago
2005
Springer
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
89
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...