2335 search results - page 59 / 467 » Securing Distributed Systems with Information Flow Control |
141
Voted
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Secure Role Based Messaging (SRBM) augments messaging systems with role oriented communication in a secure manner. Role occupants can sign and decrypt messages on behalf of roles....
140
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
131
Voted
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
135
Voted
CRYPTO
1999
Springer
15 years 9 months ago
1999
Springer
Several variations of rooted tree based solutions have been recently proposed for member revocation in multicast communications [18, 19, 20, 21]. In this paper, we show that by ass...
150
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...