848 search results - page 26 / 170 » Secure Information Flow for Distributed Systems |
DIAU
2000
Springer
15 years 4 months ago
2000
Springer
We describe Freenet, a peer-to-peer network application that permits the publication, replication, and retrieval of data while protecting the anonymity of both authors and readers...
83
Voted
KBSE
2007
IEEE
15 years 6 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...
CRYPTO
1999
Springer
15 years 4 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...
CASSIS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
151
Voted
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—The paper deals with efficient distribution of timely information to flows of mobile devices. We consider the case where a set of Information Dissemination Devices (IDDs) broa...