CSFW 2010 - PDF Preprint Papers

CSFW 2010 IEEE Computer Security Foundations Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSFW-2010 Paper

click to vote

CSFW
2010
IEEE

235views Security Privacy» more CSFW 2010»

Constraining Credential Usage in Logic-Based Access Control

13 years 8 months ago

Download www.ece.cmu.edu

—Authorization logics allow concise speciﬁcation of ﬂexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...

Lujo Bauer, Limin Jia, Divya Sharma

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	235	Constraining Credential Usage in Logic-Based Access Control	claim
2	233	Dynamic vs. Static Flow-Sensitive Security Analysis	claim
3	232	Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs	claim
4	227	Automating Open Bisimulation Checking for the Spi Calculus	claim
5	213	Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks	claim
6	208	Modeling and Verifying Ad Hoc Routing Protocols	claim
7	204	Formal Verification of Privacy for RFID Systems	claim
8	200	Impossibility Results for Secret Establishment	claim
9	195	A Framework for the Sound Specification of Cryptographic Tasks	claim
10	187	Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques	claim
11	183	Towards a Formal Foundation of Web Security	claim
12	182	Information Flow Monitor Inlining	claim
13	178	On Protection by Layout Randomization	claim
14	177	Analysing Unlinkability and Anonymity Using the Applied Pi Calculus	claim
15	177	Approximation and Randomization for Quantitative Information-Flow Analysis	claim
16	176	A Machine-Checked Formalization of Sigma-Protocols	claim
17	174	Quantitative Information Flow - Verification Hardness and Possibilities	claim
18	170	A Game-Based Definition of Coercion-Resistance and Its Applications	claim
19	167	Quantification of Integrity	claim
20	154	Required Information Release	claim
21	152	Information Flow in Credential Systems	claim
22	130	Robustness Guarantees for Anonymity	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers