119 search results - page 4 / 24 » Formal Methods for Assuring Security of Protocols |
JCP
2008
13 years 7 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
PDCAT
2007
Springer
14 years 1 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...
FM
2003
Springer
14 years 18 days ago
2003
Springer
FORTE
2008
13 years 8 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
DBSEC
2007
13 years 8 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...