1210 search results - page 36 / 242 » Secure Logic Synthesis |
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
120
click to vote
ESORICS
2006
Springer
15 years 6 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...
110
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
192
Voted
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
154
Voted
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...