311 search results - page 24 / 63 » Secure Information Flow by Self-Composition |
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
71
Voted
FAST
2009
14 years 7 months ago
2009
As increasing amounts of valuable information are produced and persist digitally, the ability to determine the origin of data becomes important. In science, medicine, commerce, an...
84
Voted
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
IPAW
2010
14 years 7 months ago
2010
Given the significant increase of on-line services that require personal information from users, the risk that such information is misused has become an important concern. In such ...
IHI
2010
14 years 4 months ago
2010
Modern information technology is increasingly used in healthcare with the goal to improve and enhance medical services and to reduce costs. In this context, the outsourcing of com...