2335 search results - page 238 / 467 » Securing Distributed Systems with Information Flow Control |
170
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
191
click to vote
RTCSA
2007
IEEE
16 years 26 days ago
2007
IEEE
Compared to all emerging issues, privacy is probably the most prominent concern when it comes to judging the effects of a wide spread deployment of ubiquitous computing. On one ha...
168
click to vote
SDMW
2004
Springer
15 years 12 months ago
2004
Springer
In a database system, authorization-based access-control is generally the first line of defense, preventing unauthorized accesses to secret or sensitive data. However, this mechan...
173
click to vote
ICDCS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract. Content-based publish-subscribe (pub-sub) systems are an emerging paradigm for building large-scale information delivery systems. Secure event dissemination in a pub-sub ...
166
Voted
RAID
2001
Springer
15 years 11 months ago
2001
Springer
ed Credential Chain Discovery in Trust Management - Extended Abstract............................... 35 N. Li, W. Winsborough, and J. Mitchell System Health and Intrusion Monitorin...