CiteULike: michaelbanks's Santen:T [7 articles]

On the Composition of Compositional Reasoning

Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151.

by Felix C. Freiling, Thomas Santen

posted to system security safety property maks liveness information-flow confidentiality composition 2006 by michaelbanks on 2009-10-30 11:10:07 as

Probabilistic Confidentiality Properties based on Indistinguishability

In Sicherheit, Vol. 62 (2005), pp. 113-124.

by Thomas Santen

edited by Hannes Federrath

posted to probabilistic information-flow indistinguishable 2005 by michaelbanks on 2009-10-25 12:33:40 as

Preservation of Probabilistic Information Flow Under Refinement

Information and Computation, Vol. 206, No. 2-4. (February 2008), pp. 213-249.

by Thomas Santen

posted to refinement probabilistic preserving nondeterministic information-flow 2008 by michaelbanks on 2008-10-29 17:50:24 as

A Formal Framework for Confidentiality-Preserving Refinement

In Computer Security -- ESORICS 2006, Vol. 4189 (2006), pp. 225-242.

by Thomas Santen

posted to 2006 confidentiality ensured-entropy formal framework nondeterministic paradox preserving probabilistic refinement security by michaelbanks on 2008-10-29 17:50:24 as

Stepwise Development of Secure Systems

In Computer Safety, Reliability, and Security, Vol. 4166 (2006), pp. 142-155.

by Thomas Santen

posted to 2006 anonymity confidentiality csp development indistinguishability-classes mix possibilistic probabilistic refinement security stepwise window system by michaelbanks on 2008-10-29 17:50:24 as

Confidentiality-Preserving Refinement is Compositional -- Sometimes

In Computer Security -- ESORICS 2002, Vol. 2502 (2002), pp. 194-211.

by Thomas Santen, Maritta Heisel, Andreas Pfitzmann

posted to 2002 composition confidentiality preserving probabilistic refinement by michaelbanks on 2008-10-29 17:50:24 as read

Confidentiality-Preserving Refinement

In 14th IEEE Computer Security Foundations Workshop (CSFW '01) (2001), pp. 295-305.

by Maritta Heisel, Andreas Pfitzmann, Thomas Santen

posted to 2001 confidentiality csp indistinguishable preserving refinement retrieve-relation security window by michaelbanks on 2008-10-29 17:50:20 as read

	On the Composition of Compositional Reasoning [My Copy] Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151. by Felix C. Freiling, Thomas Santen posted to system security safety property maks liveness information-flow confidentiality composition 2006 by michaelbanks on 2009-10-30 11:10:07 as
	Probabilistic Confidentiality Properties based on Indistinguishability [My Copy] In Sicherheit, Vol. 62 (2005), pp. 113-124. by Thomas Santen edited by Hannes Federrath posted to probabilistic information-flow indistinguishable 2005 by michaelbanks on 2009-10-25 12:33:40 as
	Preservation of Probabilistic Information Flow Under Refinement [My Copy] Information and Computation, Vol. 206, No. 2-4. (February 2008), pp. 213-249. by Thomas Santen posted to refinement probabilistic preserving nondeterministic information-flow 2008 by michaelbanks on 2008-10-29 17:50:24 as
	A Formal Framework for Confidentiality-Preserving Refinement [My Copy] In Computer Security -- ESORICS 2006, Vol. 4189 (2006), pp. 225-242. by Thomas Santen posted to 2006 confidentiality ensured-entropy formal framework nondeterministic paradox preserving probabilistic refinement security by michaelbanks on 2008-10-29 17:50:24 as
	Stepwise Development of Secure Systems [My Copy] In Computer Safety, Reliability, and Security, Vol. 4166 (2006), pp. 142-155. by Thomas Santen posted to 2006 anonymity confidentiality csp development indistinguishability-classes mix possibilistic probabilistic refinement security stepwise window system by michaelbanks on 2008-10-29 17:50:24 as
	Confidentiality-Preserving Refinement is Compositional -- Sometimes [My Copy] In Computer Security -- ESORICS 2002, Vol. 2502 (2002), pp. 194-211. by Thomas Santen, Maritta Heisel, Andreas Pfitzmann posted to 2002 composition confidentiality preserving probabilistic refinement by michaelbanks on 2008-10-29 17:50:24 as
	Confidentiality-Preserving Refinement [My Copy] In 14th IEEE Computer Security Foundations Workshop (CSFW '01) (2001), pp. 295-305. by Maritta Heisel, Andreas Pfitzmann, Thomas Santen posted to 2001 confidentiality csp indistinguishable preserving refinement retrieve-relation security window by michaelbanks on 2008-10-29 17:50:20 as

michaelbanks's Santen:T [7 articles] Export

michaelbanks's tags

security	350
protocol	146
book	99
refinement	95
information-flow	90
specification	88
formal-methods	86
verification	79
2008	75
model	65
2006	64
proof	59
2009	59
property	58
attack	58
analysis	51
csp	51
2007	49
noninterference	49
formal	48
2005	48
logic	45
language	45
system	43
survey	42
2003	41
semantics	39
1996	38
z	37
software	35
textbook	35
confidentiality	34
programming	34
process-algebra	33
type-flaw	33
composition	32
program	31
2001	31
framework	30
policy	30
model-checking	29
theory	29
1995	29
tool	28
2000	27
authentication	27
introduction	27
software-engineering	26
automatic	26
1990	26
2002	26
1994	25
mathematics	25
2004	24
cryptography	24
1999	23
1997	23
1992	23
1998	22
concurrency	21
probabilistic	19
trace	19
1987	18
development	18
safety	18
bell-lapadula	18
access-control	18
theorem-proving	17
circus	16
distributed	16
1993	16
unwinding	16
commercial	16
needham-schroeder	15
possibilistic	15
algebraic	15
refinement-calculus	14
criticism	14
design	14
utp	14
testing	13
key	13
information	13
liveness	13
integrity	13
search	12
1989	12
1988	12
data	12
hacking	12
alloy	12
fdr	11
multi-level	11
maks	11
java	11
engineering	11
requirements	11
ban	11
preserving	11
bisimulation	11
nondeterministic	11
event-b	10
1991	10
correctness	10
case-study	10
haskell	10
synthesis	10
ccs	10
yahalom	10
nondeducibility	9
public	9
hoare-logic	9
availability	9
strand-space	9
1981	9
anonymity	9
type-system	9
reasoning	9
channels	9
operational	8
temporal	8
comparison	8
constraint-solving	8
privacy	8
simulation	8
dolev-yao	8
heuristic	8
b-method	8
verified-software-repository	8
knowledge	8
spi-calculus	8
belief	8
1985	8
category-theory	8
opinion	8
covert	7
1977	7
compiler	7
functional-programming	7
static-analysis	7
1986	7
kernel	7
guidance	7
neuman-stubblebine	7
1984	7
1978	7
automata	7
separability	7
tagging	7
rodin	6
executable	6
transformation	6
history	6
object-z	6
action	6
roundtable	6
communication	6
type-checking	6
denotational	6
replay	6
operating-system	6
tutorial	6
file-system	5
management	5
isabelle	5
precondition	5
coq	5
1976	5
mondex	5
structure	5
key-establishment	5
transitive	5
jif	5
svo	5
abstraction	5
derivation	5
multi-agent	5
predicate-transformer	5
role-based-access-control	5
paradox	5
philosophy	5
uml	5
standard	5
1983	5
optimisation	5
expressiveness	5
lattice	5
control-flow	5
generalised	5
decidability	5
pi-calculus	5
stepwise	5
grand-challenge	5
otway-rees	5
noninference	5
equivalence	4
vdm	4
axiomatic	4
casper	4
1980	4
z-eves	4
induction	4
tla	4
time	4
confinement	4
stairs	4
hol	4
resource-allocation	4
validation	4
implementation	4
1972	4
spa	4
posix	4
economics	4
state-machine	4
weakest	4
labelled-transition-system	4
review	4
guarded	4
game-theory	4
general	4
distribution	4
quantitative	4
1982	4
network	4
definition	4
deterministic	4
object-oriented	4
web-services	4
reliability	4
gdoi	4
selective-interleaving	4
biba	4
architecture	4
cipher-block-chaining	4
failures	4
model-driven	4
social-processes	3
methods	3
rewrite	3
advocacy	3
athena	3
internet	3
divergences	3
command	3
artificial-intelligence	3
flaw	3
computer	3
ponder	3
mechanised	3
trust	3
accountability	3
principles	3
declassification	3
lysa	3
simulated-annealing	3
usability	3
godel	3
capacity	3
1979	3
reconfigurable	3
denial-of-service	3
unifying	3
linking	3
window	3
abstract-interpretation	3
risk	3
chinese-wall	3
galois-connection	3
flow	3
predicate	3
genetic-algorithm	3
relational	3
recursion	3
predicate-calculus	3
inference-control	3
decomposition	3
no-silver-bullet	3
larch	3
1975	3
chaos-report	3
kerberos	3
password	3
voting	3
certification	3
event	3
1969	3
perfect	3
ada	3
raise	3
set-theory	3
non-functional	2
separation-of-duty	2
pattern-matching	2
virus	2
spore-library	2
diagram	2
focus	2
statistics	2
avispa	2
hypervisor	2
csp-oz	2
scyther	2
indistinguishable	2
closure	2
xen-hypervisor	2
safety-critical	2
research	2
guessing	2
contract	2
algorithm	2
teaching	2
project	2
andrew-secure-rpc	2
1973	2
incident-insensitive	2
mandatory-access-control	2
state-based	2
floating-point	2
translation	2
storage	2
nonce	2
dictionary	2
discretionary-access-control	2
1971	2
spi2java	2
ignorance	2
limitations	2
sequential	2
shadow-semantics	2
2010	2
retrieve-relation	2
clark-wilson	2
parser	2
hardware	2
complexity	2
topology	2
indistinguishability-classes	2
functionality	2
practical	2
genetic-programming	2
swift	2
xenon	2
natural	2
separation	2
tokeneer	2
efficient	2
s3a	2
restrictiveness	2
evaluation	2
algorithms	2
system-z	2
representation	2
multics	2
prolog	2
emergence	2
database	2
obligation	2
memory	2
finalisation	2
hyperproperty	2
reference	2
ckt5	2
sat-solver	2
assurance	2
theorem	2
fm	2
woo-lam	2
adaptation	2
dining-cryptographers	2
guidelines	2
kao-chow	2
dynamic	2
quantification	2
mix	2
operators	2
writing	2
extraction	2
possible-worlds	2
eiffel	2
capsl	2
pointers	2
timestamp	2
real-time	2
ibm-cics	2
1974	2
lambda-calculus	2
turing-award	2
separation-logic	2
mobile	2
computability	2
spark	2
hru	2
authenticity	2
relation	2
animation	2
records	2
refusals	1
visual	1
1970	1
backtracking	1
lasco	1
linear	1
linux	1
freshness	1
epistemic	1
information-theory	1
secpal	1
algebra	1
cscw	1
scam	1
probe	1
deadlock	1
psychology	1
modal	1
email	1
microsoft	1
cellphone	1
forward-correctability	1
self-reference	1
forwards	1
modularity	1
chosen-name	1
extreme-programming	1
b-toolkit	1
backwards	1
exception-handling	1
1962	1
fixed-point	1
curry-howard	1
quality	1
bndc	1
synchronisation	1
denning-sacco	1
non-repudiation	1
manifesto	1
aggregation	1
rsa	1
gny	1
crefine	1
graph-theory	1
iso-iec-11770-2	1
wide-mouthed-frog	1
behaviours	1
kripke-structure	1
intrusion-detection	1
rootkit	1
lightweight	1
numbers	1
conformance	1
smart-card	1
sharing	1
segregation	1
talk	1
signing	1
hazop	1
zero-knowledge	1
intel	1
xor	1
lecture	1
similarity	1
parsing-ambiguity	1
transputer	1
deterrent	1
computer-science	1
eclipse	1
incompleteness	1
execution	1
lazy	1
variables	1
isomorphism	1
punishment	1
jcsp	1
wireless-sensor	1
digital-restrictions	1
crime	1
term	1
aegis	1
declarative	1
monads	1
secure-electronic-transaction	1
1948	1
bpp	1
conflict-of-interest	1
domain	1
lecture-notes	1
petri-nets	1
virtual	1
ordering	1
1967	1
publishing	1
monitor	1
decoding	1
cut-and-paste	1
perfect-security-property	1
weak	1
may	1
eigen	1
nonfunctional	1
separation-of-concerns	1