1210 search results - page 136 / 242 » Secure Logic Synthesis |
COMPSAC
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract---Service Oriented Architecture (SOA) is an architectural style to reuse and integrate existing systems for designing new applications. Each application is designed in an ...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
INFORMATICALT
2010
14 years 8 months ago
2010
One of the major activities in software design is defining software architecture. Before designing software structure and software behavior we have to define its architecture. In...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
CADE
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...