13618 search results - page 402 / 2724 » The Newton Operating System |
172
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Traditionally, intrusion detection systems detect intrusions at the operating system (OS) level. In this paper we explore the possibility of detecting intrusion at the application...
178
click to vote
WSC
2004
15 years 8 months ago
2004
The IAGO Project explores the question of whether a software model, in the form of a computational model of cognitive behavior, can contribute to better anticipation of asymmetric...
156
click to vote
ACTA
2004
15 years 6 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
262
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
OS-level virtualization generates a minimal start-up and run-time overhead on the host OS and thus suits applications that require both good isolation and high efficiency. However...
173
click to vote
PACT
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...