8503 search results - page 1245 / 1701 » Secure Software Architectures |
182
Voted
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
In recent years, there has been a dramatic increase in the amount of available computing and storage resources. Yet few have been able to exploit these resources in an aggregated ...
209
click to vote
INFFUS
2002
15 years 7 months ago
2002
The security of computer networks plays a strategic role in modern computer systems. In order to enforce high protection levels against threats, a number of software tools have be...
212
click to vote
CISC
2009
Springer
15 years 5 months ago
2009
Springer
Rabbit is a software-oriented synchronous stream cipher with very strong security properties and support for 128-bit keys. Rabbit is part of the European Union's eSTREAM portf...
170
click to vote
JCIT
2010
15 years 2 months ago
2010
With China's rapid economic development, electricity supply is relatively shortage, and the contradiction of power coal supply and demand is prominent. In this context, using...
177
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...