1679 search results - page 289 / 336 » Security Properties and CSP |
SAFECOMP
2007
Springer
14 years 4 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...
TCC
2007
Springer
14 years 4 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...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
The increasing popularity of distributed and collaborative applications prompts the need for secure communication in collaborative groups. Some distributed collaborative key manag...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
– Although below-knee prostheses have been commercially available for some time, today’s devices are completely passive, and consequently, their mechanical properties remain fi...
ISCA
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...