2282 search results - page 193 / 457 » Active property checking |
142
click to vote
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
139
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
149
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
135
click to vote
CSFW
2009
IEEE
15 years 8 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...
134
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...