2488 search results - page 158 / 498 » An improvement in formal verification |
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
FORTE
2004
15 years 2 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
126
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
108
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic