2486 search results - page 146 / 498 » A Type System for Computationally Secure Information Flow |
ACMDIS
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we discuss a real world problem encountered during recent fieldwork: that of providing information in public settings when the information has both public and privat...
COLCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
The adoption of electronically formatted medical records, so called Electronic Health Records (EHRs), has become extremely important in healthcare systems to enable the exchange of...
WISEC
2010
ACM
14 years 4 months ago
2010
ACM
Abstract A Martian who arrived on Earth today would surely conclude that computing and communications security are in a crisis situation. The popular media as well as technical pub...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...