180 search results - page 35 / 36 » Verifying Security Properties of Cryptoprotocols: A Novel Ap... |
AI
2008
Springer
14 years 11 months ago
2008
Springer
We propose a novel approach to self-regenerating continuously-operating systems. Such systems provide best-case solutions in security surveillance or decision making centers. We i...
SACMAT
2003
ACM
15 years 4 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
192
click to vote
POPL
2009
ACM
16 years 8 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
192
Voted
POPL
2008
ACM
15 years 12 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
127
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...