1770 search results - page 76 / 354 » Writing requirements in computer security |
ACSAC
2004
IEEE
14 years 23 days ago
2004
IEEE
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
Content-based publish/subscribe systems offer an interaction scheme that is appropriate for a variety of large scale dynamic applications. However, widespread use of these systems...
CCGRID
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes two systems to recover the Internet connectivity impaired by private networks and firewalls. These devices cause asymmetry in the Internet, making peer-to-pee...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...