2270 search results - page 89 / 454 » Modelling Secure IT Systems - A Survey |
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
EUROMICRO
1999
IEEE
14 years 1 months ago
1999
IEEE
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...
FSKD
2006
Springer
14 years 14 days ago
2006
Springer
This paper argues about the deployment positions of Network-based Intrusion Detection System and suggests the "Distributed Network Security Sensors" distributed among the...
ENTCS
2010
13 years 9 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
MA
1998
Springer
14 years 1 months ago
1998
Springer
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...