497 search results - page 1 / 100 » Spies among us |
CACM
2010
13 years 5 months ago
2010
APSEC
2002
IEEE
13 years 10 months ago
2002
IEEE
Software process improvement (SPI) has emerged as a critical area for organizations involved in software development. There is now considerable evidence that SPI can provide subst...
IEEEARES
2008
IEEE
13 years 11 months ago
2008
IEEE
We consider a network of remote agent platforms that are tested by roaming spy agents in order to identify those that are malicious, based on the outcome of each agent. It is show...
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
SIGMETRICS
1992
ACM
13 years 9 months ago
1992
ACM
To cope with the increasing difference between processor and main memory speeds, modern computer systems use deep memory hierarchies. In the presence of such hierarchies, the perf...