11603 search results - page 600 / 2321 » Securing Embedded Systems |
175
click to vote
CCS
2004
ACM
16 years 20 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...
172
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...
190
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...
190
Voted
JNW
2006
15 years 7 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...
192
Voted
DISCEX
2003
IEEE
16 years 17 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...