2517 search results - page 169 / 504 » Secure Deployment of Components |
146
Voted
ENTCS
2007
15 years 3 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
146
click to vote
ICIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper our original methodology of applying ontologybased logic into decision support system for security management in heterogeneous networks is presented. Such d...
135
Voted
NDSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...
153
Voted
NSDI
2008
15 years 6 months ago
2008
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
124
click to vote
WSC
2004
15 years 5 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...