2687 search results - page 308 / 538 » Formal Analysis of PKCS |
160
click to vote
NSDI
2008
15 years 9 months ago
2008
We aim to advance the understanding of individual security decision-making, by combining formal and behavioral analysis. We sketch a game-theoretic model of security decision-maki...
155
Voted
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
We develop a criterion for coalition formation among goal-directed agents, the indecomposable do-ut-des property. The indecomposable do-ut-des property refines the do-ut-des proper...
177
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
180
click to vote
CLA
2007
15 years 8 months ago
2007
The paper presents a new method of decision tree induction based on formal concept analysis (FCA). The decision tree is derived using a concept lattice, i.e. a hierarchy of cluster...
147
click to vote
CLA
2007
15 years 8 months ago
2007
This paper presents SearchSleuth, a program developed to experiment with a form of automatic local analysis that extends the standard Web search interface to include a conceptual n...