554 search results - page 101 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
The distributed firewall is an important new line of network defense. It provides fine-grained access control to augment the protections afforded by the traditional perimeter fire...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
ICAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
ICNP
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...