2814 search results - page 12 / 563 » Can We Make Operating Systems Reliable and Secure |
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Smartphone apps often run with full privileges to access the network and sensitive local resources, making it difficult for remote systems to have any trust in the provenance of ...
PERCOM
2010
ACM
13 years 5 months ago
2010
ACM
End-to-end reliability of communications is an important requirement in many applications of wireless sensor networks. For this reason, a number of reliable transport protocols sp...
CSFW
2004
IEEE
13 years 10 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
SISW
2003
IEEE
13 years 12 months ago
2003
IEEE
Securing data is more important than ever, yet cryptographic file systems still have not received wide use. One barrier to the adoption of cryptographic file systems is that the...
CHI
2005
ACM
14 years 7 months ago
2005
ACM
Cryptographically protected email has a justly deserved reputation of being difficult to use. Based on an analysis of the PEM, PGP and S/MIME standards and a survey of 470 merchan...