12637 search results - page 383 / 2528 » Security for Extensible Systems |
154
click to vote
CCS
2004
ACM
16 years 4 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
156
Voted
LISA
2007
15 years 9 months ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
170
Voted
ISTA
2004
15 years 8 months ago
2004
: The employment of a patchwork of nonintegrated security products can only provide incomplete coverage, which cannot give the total panorama of the network misuse behavior. Networ...
168
click to vote
JNW
2006
15 years 6 months ago
2006
Despite the increased focus on security, critical information systems remain vulnerable to cyber attacks. The trend lends importance to the concept of intrusion tolerance: there is...
176
click to vote
DISCEX
2003
IEEE
16 years 1 days ago
2003
IEEE
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...