6555 search results - page 221 / 1311 » Secure attribute-based systems |
175
click to vote
JCS
2007
15 years 6 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
178
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper addresses the access control issues unique to multimedia, by using a joint signal processing and cryptographic approach to multimedia encryption. Based on three atomic ...
157
click to vote
SOUPS
2005
ACM
16 years 3 days ago
2005
ACM
As interest in usable security spreads, the use of visual approaches in which the functioning of a distributed system is made visually available to end users is an approach that a...
194
click to vote
ISCIS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
146
click to vote
FC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...