117 search results - page 11 / 24 » Why Cryptosystems Fail |
SCP
2010
13 years 6 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...
SERP
2010
13 years 6 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...
IPAW
2010
13 years 5 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...
SIGSOFT
2010
ACM
13 years 3 months 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...
CSFW
2012
IEEE
11 years 11 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...