533 search results - page 23 / 107 » Verification of Distributed Firewalls |
SEC
2008
13 years 11 months ago
2008
Implementing access control efficiently and effectively in an open and distributed system is a challenging problem. One reason for this is that users requesting access to remote re...
IJNSEC
2006
13 years 10 months ago
2006
An insider-robust approach to file integrity verification is developed using interacting strata of mobile agents. Previous approaches relied upon monolithic architectures, or more...
ISSS
2002
IEEE
14 years 2 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
HPDC
2007
IEEE
14 years 4 months ago
2007
IEEE
With the emergence of Service-based architectures, management of an application which comprises of a large number of distributed services becomes difficult as resources appear, mo...
FSTTCS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...