178 search results - page 24 / 36 » Dependability Arguments with Trusted Bases |
ICDE
2005
IEEE
14 years 1 months ago
2005
IEEE
The trend towards outsourcing increases the number of documents stored at external service providers. This storage model, however, raises privacy and security concerns because the...
CASSIS
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
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...
IPAW
2010
13 years 5 months ago
2010
Given the significant increase of on-line services that require personal information from users, the risk that such information is misused has become an important concern. In such ...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...