46 search results - page 3 / 10 » Stale-safe security properties for group-based secure inform... |
CCS
2009
ACM
14 years 8 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
NBIS
2009
Springer
14 years 2 months ago
2009
Springer
- Recently, pervasive and ubiquitous computing evolved tremendously and has become an integral part of many fields. This is widely attributed to their efficiency in integrating wit...