8644 search results - page 19 / 1729 » On the Composition of Secure Systems |
CCS
2007
ACM
14 years 1 months ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
COLCOM
2008
IEEE
14 years 2 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...
STOC
2009
ACM
14 years 8 months ago
2009
ACM
We show by means of several examples that robust statistical estimators present an excellent starting point for differentially private estimators. Our algorithms use a new paradig...
ASE
2005
13 years 7 months ago
2005
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
CSFW
2000
IEEE
14 years 1 days ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...