2517 search results - page 313 / 504 » Secure Deployment of Components |
IEEEARES
2009
IEEE
14 years 4 months ago
2009
IEEE
In a service-oriented architecture, service compositions are assembled from other component services. Such compositions may include services from unknown and potentially untrusted...
SAFECOMP
2009
Springer
14 years 3 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
VIZSEC
2005
Springer
14 years 2 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
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...
SP
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—Unfortunately, malicious software is still an unsolved problem and a major threat on the Internet. An important component in the fight against malicious software is the...