ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
42
views
11
references
Top references
cited by
15
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,537
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Automata, Languages and Programming
Preserving Secrecy Under Refinement
other
Author(s):
Rajeev Alur
,
Pavol Černý
,
Steve Zdancewic
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH title and first author match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
Language-based information-flow security
A. Sabelfeld
,
A.C. Myers
(2003)
0
comments
Cited
125
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The temporal logic of actions
Leslie Lamport
(1994)
0
comments
Cited
98
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
PVS: A prototype verification system
S. Owre
,
J. M. Rushby
,
N Shankar
(1992)
0
comments
Cited
87
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 107-118
DOI:
10.1007/11787006_10
SO-VID:
72896d4c-bede-436b-9b2c-4ca94624b308
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Differential Privacy
pp. 13
The One Way to Quantum Computation
pp. 168
A Tight Bound for EMAC
pp. 264
Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability
pp. 34
Independent Zero-Knowledge Sets
pp. 107
Preserving Secrecy Under Refinement
pp. 144
Generalized Compact Knapsacks Are Collision Resistant
pp. 324
Recursive Concurrent Stochastic Games
pp. 336
Half-Positional Determinacy of Infinite Games
pp. 577
Flat Parametric Counter Automata
pp. 589
Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
Similar content
1,537
'I'm Not Sherlock Holmes': Suspicions, Secrecy and Silence of Transplant Professionals in the Human Organ Trade
Authors:
F Ambagtsheer
,
L Van Balen
Secrecy, Spooks and Ghosts: Memoirs and Contested Memory at the CIA
Authors:
RICHARD J. ALDRICH
,
JULES GASPARD
Unpacking the Transparency-Secrecy Nexus: Frontstage and backstage behaviour in a political party
Authors:
Leopold Ringel
See all similar
Cited by
15
Temporal Logics for Hyperproperties
Authors:
Michael Clarkson
,
Bernd Finkbeiner
,
Masoud Koleini
…
Synthesis of opaque systems with static and dynamic masks
Authors:
Hervé Marchand
,
Franck Cassez
,
Jeremy Dubreil
Secure information flow by self-composition
Authors:
GILLES BARTHE
,
PEDRO D'ARGENIO
,
TAMARA REZK
See all cited by