3387 search results - page 459 / 678 » Model-Checking for Real-Time Systems |
183
click to vote
FOSSACS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
178
click to vote
IPPS
2003
IEEE
16 years 8 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
229
Voted
TIME
2003
IEEE
16 years 8 days ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
172
click to vote
CHARME
2003
Springer
16 years 6 days ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
211
click to vote
FIDJI
2003
Springer
16 years 6 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...