14824 search results - page 377 / 2965 » Security - Introduction |
164
click to vote
CIS
2007
Springer
16 years 1 months ago
2007
Springer
Existing intrusion detection systems (IDS) operate independently from security policy enforcement mechanism. In current IDS the functionality has been restricted to detecting only...
143
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the...
180
click to vote
IEEEARES
2006
IEEE
16 years 27 days ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...