64 search results - page 9 / 13 » Specifying and analyzing security automata using CSP-OZ |
GRID
2006
Springer
14 years 9 months ago
2006
Springer
-- In Grid collaborations, scientists use middleware to execute computational experiments, visualize results, and securely share data on resources ranging from desktop machines to ...
103
Voted
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
ICDE
2008
IEEE
15 years 3 months ago
2008
IEEE
Network accountability and forensic analysis have become increasingly important, as a means of performing network diagnostics, identifying malicious nodes, enforcing trust managem...
113
Voted
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...