2486 search results - page 52 / 498 » A Type System for Computationally Secure Information Flow |
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
DIM
2005
ACM
13 years 10 months ago
2005
ACM
Privacy-Enhancing Identity Management (PIM) enables users to control which personal information they provide to their communication partner(s) by partitioning their personal infor...
COORDINATION
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
INFORMATICALT
2008
13 years 8 months ago
2008
In this paper, we present a novel fine-grained access control system for applications where the information flow is critical; the confidentiality of the data is essential and there...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE