1210 search results - page 36 / 242 » Secure Logic Synthesis |
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
ESORICS
2006
Springer
14 years 1 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...
CADE
2002
Springer
14 years 10 months ago
2002
Springer
TABLEAUX
2009
Springer
14 years 4 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...
FROCOS
2009
Springer
14 years 4 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...