2043 search results - page 135 / 409 » Reasoning About Security Models |
146
click to vote
STACS
2010
Springer
16 years 1 days ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
127
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods (such as firewalls, intrusion dete...
146
Voted
MMMACNS
2005
Springer
15 years 10 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
147
Voted
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
152
click to vote
CSREASAM
2007
15 years 6 months ago
2007
— We present an efficient implementation of a fair e-cash protocol especially designed for mobile wireless environments. Our protocol attempts to offer a reasonable balance betw...