2043 search results - page 105 / 409 » Reasoning About Security Models |
91
Voted
ICAIL
2009
ACM
15 years 7 months ago
2009
ACM
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
97
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
115
Voted
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
97
Voted
IEEEARES
2009
IEEE
15 years 7 months ago
2009
IEEE
—Security management is about calculated risk and requires continuous evaluation to ensure cost, time and resource effectiveness. Parts of which is to make future-oriented, costb...
AUSAI
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...