2517 search results - page 313 / 504 » Secure Deployment of Components |
174
Voted
IEEEARES
2009
IEEE
16 years 1 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...
165
Voted
SAFECOMP
2009
Springer
16 years 1 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 ...
155
Voted
VIZSEC
2005
Springer
16 years 14 days 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...
208
Voted
CCS
2009
ACM
15 years 11 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...
160
Voted
SP
2010
IEEE
15 years 11 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...