671 search results - page 21 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ESTIMEDIA
2008
Springer
14 years 11 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
ENTCS
2006
14 years 9 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
FORTE
2008
14 years 11 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
ASIACRYPT
2005
Springer
15 years 3 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...