3387 search results - page 459 / 678 » Model-Checking for Real-Time Systems |
203
Voted
FOSSACS
2005
Springer
16 years 1 months 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 ...
193
Voted
IPPS
2003
IEEE
16 years 28 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...
254
click to vote
TIME
2003
IEEE
16 years 28 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...
189
Voted
CHARME
2003
Springer
16 years 27 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...
234
Voted
FIDJI
2003
Springer
16 years 27 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...