117 search results - page 11 / 24 » Why Cryptosystems Fail |
120
Voted
SCP
2010
15 years 4 months ago
2010
Refinement is the notion of development between formal specifications. For specifications given in a relational formalism, downward and upward simulations are the standard meth...
183
Voted
SERP
2010
15 years 3 months ago
2010
- In large enterprises subject to constant employee turnover and challenging security policies, the administration of Role-based Access Control (RBAC) is a daunting task that is of...
182
Voted
IPAW
2010
15 years 2 months ago
2010
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
151
Voted
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
182
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...