3115 search results - page 2 / 623 » Synthesizing Secure Protocols |
SAMOS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
EC
2010
13 years 5 months ago
2010
Perhaps the biggest limitation of interactive EC is the fitness evaluation bottleneck, caused by slow user evaluation and leading to small populations and user fatigue. In this st...
IJNSEC
2007
13 years 5 months ago
2007
802.1x is a security protocol based on the frame structure
PDCAT
2007
Springer
13 years 11 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
ACSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper reports an experiment aimed at generating synthetic test data for fraud detection in an IP based videoon-demand service. The data generation verifies a methodology pre...