2486 search results - page 33 / 498 » A Type System for Computationally Secure Information Flow |
ESOP
2011
Springer
13 years 5 days ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
SOSP
1997
ACM
13 years 10 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
SP
2010
IEEE
14 years 16 days ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...
COMCOM
2007
13 years 8 months ago
2007
In these years, the security problem becomes more important to everyone using computers. However, vulnerabilities on computers are found so frequently that system managers can not...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...