2486 search results - page 64 / 498 » A Type System for Computationally Secure Information Flow |
VEE
2012
ACM
12 years 4 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Personal firewalls are an important aspect of security for home computer users, but little attention has been given to their usability. We conducted semi-structured interviews to ...
ACISP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper examines the access control requirements of distributed health care information networks. Since the electronic sharing of an individual’s personal health inf...
SOUPS
2005
ACM
14 years 2 months ago
2005
ACM
Information visualization is an effective way to easily comprehend large amounts of data. For such systems to be truly effective, the information visualization designer must be aw...
SOSP
2009
ACM
14 years 5 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...