Title
Expressive Declassification Policies and Modular Static Enforcement
Abstract
The problem of security against timing based traffic analysis in multihop networks is considered in this work. In particular, the relationship between the level of anonymity provided and the quality of service, as measured by network latency, is analyzed ...
Year
DOI
Venue
2008
10.1109/SP.2008.20
IEEE Symposium on Security and Privacy
Keywords
Field
DocType
network latency,multihop network,traffic analysis,expressive declassification policies,modular static enforcement,information security,limit set,object oriented programming,programming language,data security,semantic networks,privacy,cryptography,computer languages,object oriented languages,verification,access control,information flow
Information flow (information theory),Programming language,Type checking,Object-oriented programming,Computer science,Declassification,Semantic property,Semantic network,Enforcement,Modular design
Conference
ISSN
Citations 
PageRank 
1081-6011
56
1.64
References 
Authors
24
3
Name
Order
Citations
PageRank
Anindya Banerjee1132470.68
David Naumann2110184.12
Stan Rosenberg31315.44