2699 search results - page 45 / 540 » On Evaluating the Performance of Security Protocols |
ESORICS
2003
Springer
14 years 2 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
IMSA
2001
13 years 10 months ago
2001
Zebra is publicly available free routing software that is distributed under GNU General Public License. It supports the following IP routing protocols: BGP-4, RIPv1, RIPv2 and OSP...
ICPADS
2005
IEEE
14 years 2 months ago
2005
IEEE
To better protect information systems, computation time data protection needs to be considered such that even when the system is partially compromised, the security of the system ...
CCGRID
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper examines the potential of the Cell processor as a platform for secure data mining on the future volunteer computing systems. Volunteer computing platforms have the p...
OOPSLA
1992
Springer
14 years 27 days ago
1992
Springer
Generational garbage collectors are able to achieve very small pause times by concentrating on the youngest (most recently allocated) objects when collecting, since objects have b...