1081 search results - page 120 / 217 » Towards Application Security on Untrusted Operating Systems |
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
CCS
2006
ACM
14 years 18 days ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
ANCS
2007
ACM
14 years 26 days ago
2007
ACM
There is a growing interest in designing high-performance network devices to perform packet processing at flow level. Applications such as stateful access control, deep inspection...
ENTCS
2002
13 years 8 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
FGCN
2008
IEEE
14 years 3 months ago
2008
IEEE
Power consumption is becoming a primary concern as a result of tremendous increasing in computer power usage. Innumerable methods and techniques have been exploited to address thi...