2486 search results - page 73 / 498 » A Type System for Computationally Secure Information Flow |
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
PCI
2009
Springer
14 years 1 months ago
2009
Springer
—Despite the wide adoption by the scientific community, grid technologies have not been given the appropriate attention by enterprises. This is merely due to the lack of enough s...
HUC
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we propose a novel wearable interface called “ActiveBelt” that enables users to obtain multiple directional information with the tactile sense. Since the informat...
FUIN
2002
13 years 8 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
ICNS
2007
IEEE
14 years 3 months ago
2007
IEEE
To build holistic protection against complex and blended network threats, multiple security features need to be integrated into a unified security architecture, which requires in ...