314 search results - page 57 / 63 » ITOSS: An Integrated Toolkit For Operating System Security |
CADE
1998
Springer
14 years 24 days ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
NSPW
2004
ACM
14 years 2 months ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
ICDE
2001
IEEE
14 years 10 months ago
2001
IEEE
RDBMS's have evolved to an extent that they are used to manage almost all of traditional business data in a robust fashion. Nevertheless, a large fraction of unstructured and...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
—Targeting the operating system kernel, the core of trust in a system, kernel rootkits are able to compromise the entire system, placing it under malicious control, while eluding...