180 search results - page 15 / 36 » Verifying Security Properties of Cryptoprotocols: A Novel Ap... |
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
130
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
113
click to vote
EUROPAR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Security and fault-tolerance is a big issue for intensive parallel computing in pervasive environments with hardware errors or malicious acts that may alter the result. I...
108
click to vote
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—We envision a two-tier sensor network which consists of resource-rich master nodes at the upper tier and resourcepoor sensor nodes at the lower tier. Master nodes collect data f...
149
click to vote
SCN
2011
Springer
14 years 6 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...