443 search results - page 24 / 89 » Secure remote control model for information appliances |
109
click to vote
CCS
2004
ACM
15 years 5 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
105
click to vote
CCS
2009
ACM
16 years 9 days ago
2009
ACM
In this paper, we propose a conceptual framework for developing a family of models for Group-Centric information sharing. The traditional approach to information sharing, characte...
WISA
2007
Springer
15 years 5 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
95
Voted
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
107
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...