CSFW 2007 - PDF Preprint Papers

CSFW 2007 IEEE Computer Security Foundations Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSFW-2007 Paper

click to vote

CSFW
2007
IEEE

183views Security Privacy» more CSFW 2007»

Automaton-based Confidentiality Monitoring of Concurrent Programs

13 years 9 months ago

Download hal.inria.fr

Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...

Gurvan Le Guernic

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	183	Automaton-based Confidentiality Monitoring of Concurrent Programs	claim
2	165	Compositional Security for Task-PIOAs	claim
3	145	Computationally Sound Mechanized Proofs of Correspondence Assertions	claim
4	131	Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework	claim
5	128	Privacy and Utility in Business Processes	claim
6	124	LTL Model Checking for Security Protocols	claim
7	116	Electing the Doge of Venice: Analysis of a 13th Century Protocol	claim
8	111	Approximated Computationally Bounded Simulation Relations for Probabilistic Automata	claim
9	109	Dynamic Dependency Monitoring to Secure Information Flow	claim
10	109	Design and Semantics of a Decentralized Authorization Language	claim
11	107	Creating Vulnerability Signatures Using Weakest Preconditions	claim
12	106	Secure information flow and program logics	claim
13	102	Do As I SaY! Programmatic Access Control with Explicit Identities	claim
14	98	Reasoning about Concurrency for Security Tunnels	claim
15	97	Security Analysis of Voice-over-IP Protocols	claim
16	93	Collaborative Planning With Privacy	claim
17	92	Secure Implementations for Typed Session Abstractions	claim
18	87	Probability of Error in Information-Hiding Protocols	claim
19	86	The Insecurity Problem: Tackling Unbounded Data	claim
20	83	A Type Discipline for Authorization in Distributed Systems	claim
21	74	A Formal Theory of Key Conjuring	claim
22	64	Causality-based Abstraction of Multiplicity in Security Protocols	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers