14850 search results - page 2552 / 2970 » The Security of |
199
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
162
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an experimental evaluation of the fault-tolerant communication (FTCOM) layer of the DECOS integrated architecture. The FTCOM layer implements different agreemen...
171
click to vote
SGAI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe the concept of Meta ARM in the context of its objectives and challenges and go on to describe and analyse a number of potential solutions. Meta ARM is de...
152
click to vote
TCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
193
click to vote
TCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...