CSFW 2006 - PDF Preprint Papers

CSFW 2006 IEEE Computer Security Foundations Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSFW-2006 Paper

click to vote

CSFW
2006
IEEE

155views Security Privacy» more CSFW 2006»

Games for Controls

13 years 10 months ago

Download fpl.cs.depaul.edu

We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...

Krishnendu Chatterjee, Radha Jagadeesan, Corin Pit...

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	155	Games for Controls	claim
2	152	Information-Flow Security for Interactive Programs	claim
3	146	Decentralized Robustness	claim
4	146	Computationally Sound Compositional Logic for Key Exchange Protocols	claim
5	146	Types and Effects for Secure Service Orchestration	claim
6	144	Policy Analysis for Administrative Role Based Access Control	claim
7	134	Coercion-Resistance and Receipt-Freeness in Electronic Voting	claim
8	132	Securing Interaction between Threads and the Scheduler	claim
9	128	Non-Interference in Constructive Authorization Logic	claim
10	124	On the Completeness of Attack Mutation Algorithms	claim
11	119	Cryptographically Sound Theorem Proving	claim
12	119	Encoding Information Flow in Haskell	claim
13	118	Verified Interoperable Implementations of Security Protocols	claim
14	117	Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies	claim
15	111	Noninterference in the Presence of Non-Opaque Pointers	claim
16	110	Distributed Authorization Using Delegation with Acyclic Paths	claim
17	108	Simulation-Based Security with Inexhaustible Interactive Turing Machines	claim
18	100	A Temporal Logic Characterisation of Observational Determinism	claim
19	98	A Framework for Establishing Decentralized Secure Coalitions	claim
20	96	Secrecy by Typing and File-Access Control	claim
21	92	Managing Policy Updates in Security-Typed Languages	claim
22	86	Resolve-Impossibility for a Contract-Signing Protocol	claim
23	78	On Key Assignment for Hierarchical Access Control	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers