1527 search results - page 52 / 306 » Demographic information flows |
139
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
In the drive to improve patient safety, patients in modern intensive care units are closely monitored with the generation of very large volumes of data. Unless the data are further...
185
click to vote
ISCA
2011
IEEE
14 years 7 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
153
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
166
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
151
click to vote
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...