577 search results - page 57 / 116 » Engineering Sufficiently Secure Computing |
128
click to vote
PLDI
2010
ACM
16 years 13 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
109
click to vote
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
In many reliability studies based on data, reliability engineers face incompleteness and incoherency problems in the data. Probabilistic tools badly handle these kinds of problems...
117
click to vote
SACMAT
2010
ACM
15 years 3 months ago
2010
ACM
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
139
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
The man-in-the-middle (MITM) attack has been shown to be one of the most serious threats to the security and trust of existing VoIP protocols and systems. For example, the MITM wh...
103
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—A unified electronic health record (EHR) has potentially immeasurable benefits to society, and the current healthcare industry drive to create a single EHR reflects this. Howeve...