94 search results - page 14 / 19 » Verifying a Secure Information Flow Analyzer |
DEON
2008
Springer
15 years 1 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
102
click to vote
SIGCOMM
2010
ACM
14 years 12 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
IEEESP
2007
14 years 11 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
103
click to vote
DBSEC
2008
15 years 1 months ago
2008
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
76
Voted
IWIA
2005
IEEE
15 years 5 months ago
2005
IEEE
1 Intrusion detection in MANETs is challenging because these networks change their topologies dynamically; lack concentration points where aggregated traffic can be analyzed; utili...