michaelbanks's textbook [35 articles] Export

Recent papers added to michaelbanks's library classified by the tag textbook. You can also see everyone's textbook.

	Certified Programming with Dependent Types [My Copy] by Adam Chlipala posted to tool textbook proof functional-programming formal draft coq book by michaelbanks on 2009-11-22 15:17:55 as
	Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) [My Copy] (29 September 2005) by Richard Bornat posted to tool textbook proof logic jape formal book 2005 by michaelbanks on 2009-11-04 12:12:06 as
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to type-system textbook programming object-oriented language lambda-calculus book 2002 by michaelbanks on 2009-10-25 12:46:20 as along with 21 people and 2 groups wain ama08r mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
	Understanding and Writing Compilers: A Do It Yourself Guide [My Copy] (1979) by Richard Bornat posted to textbook compiler book 1979 by michaelbanks on 2009-09-18 16:53:02 as
	Touch of Class: Learning to Program Well with Objects and Contracts [My Copy] (11 September 2009) by Bertrand Meyer posted to textbook programming object-oriented introduction contract book 2009 by michaelbanks on 2009-08-24 18:02:43 as along with 1 person leonardo
	The Craft of Programming [My Copy] (1981) by John C. Reynolds posted to textbook specification proof programming book algol 1981 by michaelbanks on 2009-08-14 11:13:20 as along with 1 person daqing
	Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach [My Copy] (06 April 1995) by Kenneth Slonneger, Barry L. Kurtz posted to 1995 book language programming semantics textbook by michaelbanks on 2009-05-25 11:15:47 as along with 2 people vlasovskikh mmuecke
	Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [My Copy] (19 July 2002) by Leslie Lamport posted to 2002 book language specification textbook tla by michaelbanks on 2009-05-20 14:41:53 as along with 3 people pedagand tautologico ljcamargos
	Software Engineering (6th Edition) [My Copy] (11 August 2000) by Ian Sommerville posted to 2000 book software-engineering textbook by michaelbanks on 2009-05-10 11:45:16 as along with 4 people mluckey rrufai MRRHead dodger042
	Z.: An Introduction to Formal Methods [My Copy] (03 May 1994) by Antoni Diller posted to 1994 book formal-methods textbook z by michaelbanks on 2009-05-06 12:15:20 as along with 1 person mishra_satish
	Algebraic Semantics of Imperative Programs [My Copy] (22 May 1996) by Joseph A. Goguen, Grant Malcolm posted to 1996 algebraic book obj semantics specification textbook by michaelbanks on 2009-05-05 12:24:16 as along with 1 person pilho
	Program Construction: Calculating Implementations from Specifications [My Copy] (27 March 2003) by Roland Backhouse posted to 2003 book implementation logic program proof specification textbook by michaelbanks on 2009-04-30 18:14:26 as
	Isabelle/HOL: A Proof Assistant for Higher-Order Logic [My Copy] Vol. 2283 (2002) by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel posted to 2002 book hol isabelle proof protocol textbook tool verification by michaelbanks on 2009-04-24 15:04:53 as
	The B-Method: An Introduction [My Copy] (19 October 2001) by Steve Schneider posted to 2001 b-method book textbook by michaelbanks on 2009-04-24 11:34:45 as
	A Classical Introduction to Cryptography Exercise Book [My Copy] In A Classical Introduction to Cryptography Exercise Book (2006) by Thomas Baignères, Pascal Junod, Yi Lu, Jean Monnerat, Serge Vaudenay posted to 2006 book cryptography exercises introduction textbook by michaelbanks on 2009-03-27 13:06:32 as
	Cryptography and Data Security [My Copy] (1982) by Dorothy E. Denning posted to 1982 book cryptography security textbook by michaelbanks on 2008-12-28 18:11:37 as
	Concurrent and Real Time Systems: The CSP Approach (Worldwide Series in Computer Science) [My Copy] (15 September 1999) by Steve Schneider posted to 1999 book concurrency csp fdr real-time textbook system by michaelbanks on 2008-11-25 12:26:02 as along with 1 person zhensong
	Refinement Calculus: A Systematic Introduction [My Copy] (1998) by Ralph-Johan Back, Joakim von Wright edited by F. B. Schneider, D. Gries posted to 1998 book introduction refinement textbook by michaelbanks on 2008-11-18 14:17:58 as
	Process Algebra [My Copy] Vol. 18 (1990) by J. C. M. Baeten, W. P. Weijland posted to 1990 acp book process-algebra textbook by michaelbanks on 2008-11-17 15:53:41 as
	Computer Security: Art and Science [My Copy] (December 2002) by Matt Bishop posted to 2002 book security textbook theory by michaelbanks on 2008-11-11 21:23:56 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
	An Introduction to Formal Specification and Z [My Copy] (1996) by Ben Potter, David Till, Jane Sinclair posted to 1996 book formal introduction specification textbook z by michaelbanks on 2008-11-02 09:56:47 as along with 1 person mishra_satish
	Using Z: Specification, Refinement, and Proof [My Copy] (1996) by Jim Woodcock, Jim Davies posted to 1996 book proof refinement specification textbook z by michaelbanks on 2008-10-29 17:50:25 as
	Applied Cryptography: Protocols, Algorithms, and Source Code in C [My Copy] (1996) by Bruce Schneier posted to 1996 book cryptography textbook by michaelbanks on 2008-10-29 17:50:24 as
	The Modelling and Analysis of Security Protocols: the CSP Approach [My Copy] (2001) by Peter Ryan, Steve A. Schneider posted to 2001 analysis book casper csp fdr model protocol security textbook yahalom by michaelbanks on 2008-10-29 17:50:23 as
	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
	Programming from Specifications [My Copy] (1994) by Carroll Morgan posted to 1994 book programming refinement specification textbook by michaelbanks on 2008-10-29 17:50:22 as
	Communicating and Mobile Systems: the π Calculus [My Copy] (1999) by Robin Milner posted to 1999 bisimulation book ccs mobile pi-calculus textbook process-algebra by michaelbanks on 2008-10-29 17:50:22 as
	Handbook of Applied Cryptography [My Copy] (October 1996) by Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone posted to 1996 book cryptography textbook by michaelbanks on 2008-10-29 17:50:22 as
	Abstraction, Refinement and Proof for Probabilistic Systems [My Copy] (2005) by Annabelle Mciver, Carroll Morgan posted to 2005 abstraction book probabilistic proof refinement textbook system by michaelbanks on 2008-10-29 17:50:22 as
	Programming: The Derivation of Algorithms [My Copy] (1990) by Anne Kaldewaij posted to 1990 algorithms book derivation programming textbook by michaelbanks on 2008-10-29 17:50:21 as
	Software Abstractions: Logic, Language, and Analysis [My Copy] (2006) by Daniel Jackson posted to 2006 abstraction alloy analysis book language logic software textbook by michaelbanks on 2008-10-29 17:50:20 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
	Communicating Sequential Processes [My Copy] (1985) by C. A. R. Hoare posted to 1985 book concurrency csp textbook process-algebra by michaelbanks on 2008-10-29 17:50:20 as
	Security Engineering: A Guide to Building Dependable Distributed Systems [My Copy] (2001) by Ross Anderson posted to 2001 book engineering security textbook by michaelbanks on 2008-10-29 17:50:15 as

Note: You may cite this page as: http://www.citeulike.org/user/michaelbanks/tag/textbook

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

michaelbanks's textbook [35 articles] Export

michaelbanks's tags