8644 search results - page 74 / 1729 » On the Composition of Secure Systems |
POPL
2000
ACM
14 years 1 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
CCS
2009
ACM
14 years 1 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
JWSR
2007
13 years 9 months ago
2007
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...
EUROMICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
Composition can take place during different stages of component life cycle. We identify two main stages : design phase - components are composed into composite components for reus...