2335 search results - page 48 / 467 » Securing Distributed Systems with Information Flow Control |
90
Voted
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
147
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
104
Voted
EUC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. For the security technology that has been achieved with software in the computer system and the protection of the intellectual property right of software, software protec...
143
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
110
Voted
SERP
2008
15 years 4 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...