1599 search results - page 82 / 320 » Program Analysis for Security and Privacy |
135
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
127
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
121
click to vote
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
Loyalty systems provide an interesting possibility for vendors in customer relationship management. This holds for both real world and online vendors. Beside potential benefits of...
132
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
156
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...