CiteULike: michaelbanks's operational [8 articles]

A Policy Model for Secure Information Flow

Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17.

by Adedayo O. Adetoye, Atta Badii

posted to security program operational information-flow declassification 2009 by michaelbanks on 2009-11-09 17:09:20 as

along with 1 person ankurcha

Uncovering attacks on security protocols

Third International Conference on Information Technology and Applications (ICITA 2005) In Third International Conference on Information Technology and Applications (ICITA 2005), Vol. 2 (2005), pp. 572-575.

by Wuu Yang

posted to 2005 attack operational prolog search security semantics by michaelbanks on 2009-01-23 15:03:29 as

A Structural Approach to Operational Semantics

Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 17-139.

by Gordon D. Plotkin

posted to 1981 2004 operational semantics structure by michaelbanks on 2008-11-12 11:17:36 as

along with 4 people ama08r shimomura keigoi leonardo

The Shadow Knows: Refinement of Ignorance in Sequential Programs

Mathematics of Program Construction In Mathematics of Program Construction, Vol. 4014 (2006), pp. 359-378.

by Carroll Morgan

posted to 2006 dining-cryptographers ignorance knowledge logic operational paradox preserving refinement sequential shadow-semantics by michaelbanks on 2008-11-07 12:28:55 as read

The Theory and Practice of Concurrency

(1997)

by A. W. Roscoe

posted to 1997 algebraic book concurrency csp denotational model operational semantics textbook theory tool by michaelbanks on 2008-11-03 11:54:43 as

along with 3 people and 1 group leonardo zbchen AndreasSchropp CSP

Semantics with Applications: An Appetizer

(2007)

by Hanne R. Nielson, Flemming Nielson

posted to 2007 axiomatic book denotational operational semantics textbook by michaelbanks on 2008-10-29 17:50:22 as

Semantic Models for Information Flow

Theoretical Computer Science, Vol. 315, No. 1. (May 2004), pp. 209-256.

by Gavin Lowe

posted to semantics operational nondeterministic model information-flow csp 2004 by michaelbanks on 2008-10-29 17:50:21 as

Unifying Theories of Programming

(1998)

by C. A. R. Hoare, Jifeng He

posted to 1998 book denotational operational programming semantics textbook theory unifying utp by michaelbanks on 2008-10-29 17:50:20 as read

	A Policy Model for Secure Information Flow [My Copy] Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17. by Adedayo O. Adetoye, Atta Badii posted to security program operational information-flow declassification 2009 by michaelbanks on 2009-11-09 17:09:20 as along with 1 person ankurcha
	Uncovering attacks on security protocols [My Copy] Third International Conference on Information Technology and Applications (ICITA 2005) In Third International Conference on Information Technology and Applications (ICITA 2005), Vol. 2 (2005), pp. 572-575. by Wuu Yang posted to 2005 attack operational prolog search security semantics by michaelbanks on 2009-01-23 15:03:29 as
	A Structural Approach to Operational Semantics [My Copy] Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 17-139. by Gordon D. Plotkin posted to 1981 2004 operational semantics structure by michaelbanks on 2008-11-12 11:17:36 as along with 4 people ama08r shimomura keigoi leonardo
	The Shadow Knows: Refinement of Ignorance in Sequential Programs [My Copy] Mathematics of Program Construction In Mathematics of Program Construction, Vol. 4014 (2006), pp. 359-378. by Carroll Morgan posted to 2006 dining-cryptographers ignorance knowledge logic operational paradox preserving refinement sequential shadow-semantics by michaelbanks on 2008-11-07 12:28:55 as
	The Theory and Practice of Concurrency [My Copy] (1997) by A. W. Roscoe posted to 1997 algebraic book concurrency csp denotational model operational semantics textbook theory tool by michaelbanks on 2008-11-03 11:54:43 as along with 3 people and 1 group leonardo zbchen AndreasSchropp CSP
	Semantics with Applications: An Appetizer [My Copy] (2007) by Hanne R. Nielson, Flemming Nielson posted to 2007 axiomatic book denotational operational semantics textbook by michaelbanks on 2008-10-29 17:50:22 as
	Semantic Models for Information Flow [My Copy] Theoretical Computer Science, Vol. 315, No. 1. (May 2004), pp. 209-256. by Gavin Lowe posted to semantics operational nondeterministic model information-flow csp 2004 by michaelbanks on 2008-10-29 17:50:21 as
	Unifying Theories of Programming [My Copy] (1998) by C. A. R. Hoare, Jifeng He posted to 1998 book denotational operational programming semantics textbook theory unifying utp by michaelbanks on 2008-10-29 17:50:20 as

michaelbanks's operational [8 articles] Export

michaelbanks's tags

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