2270 search results - page 56 / 454 » Modelling Secure IT Systems - A Survey |
ESORICS
2003
Springer
14 years 1 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
EUROPLOP
2006
13 years 10 months ago
2006
We consider how to add security to the Broker distribution pattern. We do so by examining how systems using Broker are secured in practice, and by then revising the pattern to ref...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
JNSM
2000
13 years 8 months ago
2000
The application of software agent technology to the management of communications' infrastructures is a challenging domain as it requires management on different time scales a...
SCN
2008
Springer
13 years 8 months ago
2008
Springer
We present an implementation of the protocol of Lindell and Pinkas for secure two-party computation which is secure against malicious adversaries [13]. This is the first running sy...