653 search results - page 12 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
WMCSA
2008
IEEE
2008
IEEE
Location-based trust for mobile user-generated content: applications, challenges and implementations
14 years 2 months ago
The recent explosion in shared media content and sensed data produced by mobile end-users is challenging well-established principles and assumptions in data trust models. A fundam...
MOBISYS
2009
ACM
14 years 8 months ago
2009
ACM
Establishing trust between a group of individuals remains a difficult problem. Prior works assume trusted infrastructure, require an individual to trust unknown entities, or provi...
ENTCS
2008
13 years 7 months ago
2008
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...
DEXAW
2009
IEEE
13 years 11 months ago
2009
IEEE
Several aspects of secure operating systems have been analyzed and described as security patterns. However, existing patterns do not cover explicitly the secure interaction of user...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...