2259 search results - page 82 / 452 » Separation and information hiding |
USENIX
1994
13 years 10 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
ARTCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Nowadays, the transmission of digitized medical information has become very convenient due to the generality of Internet. Internet has created the biggest benefit to achieve the tr...
ICFP
1997
ACM
14 years 1 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
INFOCOM
1995
IEEE
14 years 13 days ago
1995
IEEE
CommunicationsNetworks can separate as well asjoin iMormation. This ability can be used to increase personal privacy in an environment where advances in technology makes it possib...
CSFW
1995
IEEE
14 years 14 days ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...