2335 search results - page 242 / 467 » Securing Distributed Systems with Information Flow Control |
143
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We ex...
205
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--The paper proposes an approach to content dissemination that exploits the structural properties of an Extensible Markup Language (XML) document object model in order to p...
193
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
181
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...
175
click to vote
DRM
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we examine how copyright protection of digital items can be securely managed in a 3G mobile phone and other devices. First, the basic concepts, strategies, and requi...