2282 search results - page 169 / 457 » Active property checking |
159
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
153
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
144
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
123
click to vote
EUMAS
2006
15 years 6 months ago
2006
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
145
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...