michaelbanks's 2006 [64 articles] Export

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

	Fundamentals of Algebraic Graph Transformation [My Copy] In Monographs in Theoretical Computer Science. An EATCS Series (2006) by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer posted to transformation graph-theory category-theory book algebraic 2006 by michaelbanks on 2009-11-24 18:10:08 as
	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
	CSP Is a Retract of CCS [My Copy] Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62. by Jifeng He, Tony Hoare posted to theory refinement linking csp concurrency ccs 2006 by michaelbanks on 2009-09-26 10:20:50 as along with 3 people mishra_satish christiankissig leonardo
	Automating proofs of unwinding conditions [My Copy] In Proceedings of the Verify'06 Verification Workshop (2006) by Dieter Hutter edited by Serge Autexier, Heiko Mantel posted to verification unwinding theorem-proving proof multi-agent maks information-flow automatic 2006 by michaelbanks on 2009-08-26 13:06:14 as
	Information-Flow Security for Interactive Programs [My Copy] In 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006), pp. 190-201. by Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong posted to 2006 information-flow program security by michaelbanks on 2009-07-18 15:25:51 as
	Combining Different Proof Techniques for Verifying Information Flow Security [My Copy] Logic-Based Program Synthesis and Transformation In Logic-Based Program Synthesis and Transformation, Vol. 4407 (2007), pp. 94-110. by Heiko Mantel, Henning Sudbrock, Tina Kraußer posted to 2006 composition information-flow program proof security verification by michaelbanks on 2009-07-09 13:00:49 as
	Information flow property preserving transformation of UML interaction diagrams [My Copy] In SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies (2006), pp. 150-159. by Fredrik Seehusen, Ketil Stølen posted to 2006 information-flow security semantics trace transformation uml by michaelbanks on 2009-07-07 16:45:38 as
	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking [My Copy] Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4260 (2006), pp. 697-716. by Leo Freitas, Ana Cavalcanti, Jim Woodcock posted to 2006 circus model-checking refinement-calculus theorem-proving verification by michaelbanks on 2009-07-02 12:02:13 as along with 1 person leonardo
	State-rich model checking [My Copy] Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64. by Leo Freitas, Jim Woodcock, Ana Cavalcanti posted to 2006 abstract-interpretation formal-methods model-checking theorem-proving tool verification by michaelbanks on 2009-07-02 11:34:50 as along with 1 person leonardo
	Controlling Access to Documents: A Formal Access Control Model [My Copy] Emerging Trends in Information and Communication Security In Emerging Trends in Information and Communication Security, Vol. 3995 (2006), pp. 352-367. by Paul Sevinç, David Basin, Ernst-Rüdiger Olderog edited by Günter Müller posted to 2006 access-control automata csp csp-oz object-z security specification by michaelbanks on 2009-07-01 16:45:20 as
	Automatic Translation from Circus to Java [My Copy] In FM 2006: Formal Methods, Vol. 4085 (2006), pp. 115-130. by Angela Freitas, Ana Cavalcanti posted to 2006 circus java jcsp tool by michaelbanks on 2009-07-01 10:32:13 as
	Software Security: Building Security In (Addison-Wesley Software Security Series) [My Copy] (02 February 2006) by Gary Mcgraw posted to 2006 book security software by michaelbanks on 2009-06-19 16:52:58 as along with 4 people and 2 groups knowlengr srccheck bleadof praveenbala Security Secure programming
	An Open Extensible Tool Environment for Event-B [My Copy] Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4260 (2006), pp. 588-605. by Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin posted to 2006 event-b model rodin tool by michaelbanks on 2009-06-17 10:04:50 as along with 2 people and 2 groups juniorpivetta jhs06r Event-B RODIN & DEPLOY
	Retrospective and Prospective for Unifying Theories of Programming [My Copy] Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 1-17. by Eric C. Hehner posted to 2006 history opinion utp by michaelbanks on 2009-05-25 11:32:56 as
	Object-Orientation in the UTP [My Copy] Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 18-37. by Thiago Santos, Ana Cavalcanti, Augusto Sampaio posted to 2006 object-oriented utp by michaelbanks on 2009-05-25 11:31:28 as along with 1 group SRG
	On Automated Theorem Proving [My Copy] Annals of the New York Academy of Sciences In Frontiers of Science Reports from the Final International Session of the Moscow Refusnik Seminar, Vol. 661, No. 0. (1992), pp. 160-173. by Stephen Russell, Traci Wheeler posted to 2006 automatic theorem-proving by michaelbanks on 2009-05-20 19:03:05 as
	How large are software cost overruns? A review of the 1994 CHAOS report [My Copy] Information and Software Technology, Vol. 48, No. 4. (April 2006), pp. 297-301. by Magne Jorgensen, Kjetil Molokken-Ostvold posted to 2006 chaos-report commercial criticism review software by michaelbanks on 2009-05-17 13:45:10 as along with 1 person sga72
	The Standish report: does it really describe a software crisis? [My Copy] Communications of the ACM, Vol. 49, No. 8. (August 2006), pp. 15-16. by Robert L. Glass posted to 2006 chaos-report commercial criticism software by michaelbanks on 2009-05-17 13:34:22 as along with 2 people hawkestein peterhearty
	Eiffel: Analysis, Design and Programming Language [My Copy] No. ECMA-367. (June 2006) by Ecma International posted to 2006 ecma eiffel language standard by michaelbanks on 2009-05-12 12:55:10 as
	Computational thinking [My Copy] Communications of the ACM, Vol. 49, No. 3. (March 2006), pp. 33-35. by Jeannette M. Wing posted to 2006 computer philosophy by michaelbanks on 2009-04-30 10:09:29 as along with 12 people lipflip onierstrasz jff fgibson dullhunk djsaab kistijantoro smogit AlisonBabeu spl eddymier hawkestein
	Engineering the Tokeneer Enclave Protection Software [My Copy] In 1st IEEE International Symposium on Secure Software Engineering (March 2006) by Janet Barnes, Rod Chapman, Randy Johnson, James Widmaier, David Cooper, Bill Everett posted to 2006 common-criteria formal-methods security tokeneer by michaelbanks on 2009-04-28 11:14:39 as
	Ten commandments of formal methods... ten years later [My Copy] Computer, Vol. 39, No. 1. (January 2006), pp. 40-48. by Jonathan P. Bowen, Michael G. Hinchey posted to 2006 formal-methods guidelines by michaelbanks on 2009-04-25 11:38:04 as along with 4 people and 2 groups prahlad benavides leonardo oster tdg ecoo-ce
	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
	Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control [My Copy] (May 2006) by Mark S. Miller posted to 2006 composition concurrency language programming security by michaelbanks on 2009-03-11 10:23:03 as along with 3 people egh fmc coutinho
	Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos [My Copy] Computer Security – ESORICS 2006 In Computer Security – ESORICS 2006, Vol. 4189 (2006), pp. 362-383. by M. Backes, I. Cervesato, A. Jaggard, A. Scedrov, J. Tsay posted to 2006 bpw cryptography dolev-yao kerberos proof security by michaelbanks on 2009-02-09 11:06:09 as
	Deriving the type flaw attacks in the Otway-Rees protocol by rewriting [My Copy] Nordic Journal of Computing, Vol. 13, No. 1. (2006), pp. 78-97. by Monica Nesi, Giustina Nocera posted to 2006 attack otway-rees protocol rewrite security term type-flaw by michaelbanks on 2009-01-27 19:37:53 as
	Security Planning and Refactoring in Extreme Programming [My Copy] Extreme Programming and Agile Processes in Software Engineering In Extreme Programming and Agile Processes in Software Engineering, Vol. 4044 (2006), pp. 154-163. by Emine Aydal, Richard Paige, Howard Chivers, Phillip Brooke posted to 2006 development extreme-programming security software by michaelbanks on 2009-01-26 10:07:29 as along with 1 person knowlengr
	Finger Trees: A Simple General-purpose Data Structure [My Copy] Journal of Functional Programming, Vol. 16, No. 2. (2006), pp. 197-217. by Ralf Hinze, Ross Paterson posted to functional-programming 2006 data finger-tree haskell programming structure by michaelbanks on 2009-01-21 13:16:16 as along with 2 people bfraser iff
	The Economics of Information Security [My Copy] Science, Vol. 314, No. 5799. (27 October 2006), pp. 610-613. by Ross Anderson, Tyler Moore posted to 2006 commercial distributed economics game-theory information network security by michaelbanks on 2009-01-01 18:19:56 as
	Multilevel Security and Quality of Protection [My Copy] Quality of Protection (2006), pp. 93-105. by Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart posted to information-flow security multi-level model framework constraint-solving 2006 by michaelbanks on 2008-12-24 11:51:09 as
	Analysis Models for Security Protocols [My Copy] (2006) by Ricardo Corin posted to 2006 analysis attack constraint-solving dolev-yao guessing model pi-calculus protocol security by michaelbanks on 2008-12-15 14:46:16 as
	Timed CSP: A Retrospective [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 162 (29 September 2006), pp. 273-276. by Joël Ouaknine, Steve Schneider posted to 2006 csp history process-algebra review time by michaelbanks on 2008-12-14 16:40:31 as along with 1 person mishra_satish
	Encoding Information Flow in Haskell [My Copy] In Proceedings of the 19th IEEE Workshop on Computer Security Foundations (CSFW '06) (2006) by Peng Li, Steve Zdancewic posted to security information-flow haskell 2006 by michaelbanks on 2008-12-12 12:56:43 as along with 9 people ama08r shimomura draganigajic msakai criswell keigoi scavadini tesissvc pedagand
	Design and Validation of a General Security Model with the Alloy Analyzer [My Copy] In ACM SIGSOFT First Alloy Workshop (2006), pp. 38-47. by Charles L. Chen, Paul S. Grisham, Sarfraz Khurshid, Dewayne E. Perry posted to 2006 alloy design model security validation by michaelbanks on 2008-12-04 18:06:28 as
	Knowledge Flow Analysis for Security Protocols [My Copy] (24 May 2006) by Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas posted to 2006 alloy analysis flow knowledge protocol security type-flaw by michaelbanks on 2008-12-04 16:09:42 as
	Scyther - Semantics and Verification of Security Protocols [My Copy] (2006) by Casimier J. Cremers posted to 2006 automatic dolev-yao formal protocol scyther security semantics tool verification by michaelbanks on 2008-12-04 11:37:25 as
	Possibilistic Information Flow Control in MAKS and Action Refinement [My Copy] Emerging Trends in Information and Communication Security In Emerging Trends in Information and Communication Security, Vol. 3995 (2006), pp. 268-281. by Dieter Hutter edited by Günter Müller posted to refinement possibilistic maks information-flow action 2006 by michaelbanks on 2008-11-26 13:01:11 as
	Dependable Software by Design [My Copy] Scientific American (June 2006), pp. 69-75. by Daniel Jackson posted to 2006 alloy design introduction software by michaelbanks on 2008-11-20 19:10:16 as along with 1 person asilva
	Minimum Security Requirements for Federal Information and Information Systems [My Copy] No. 200. (2006) by NIST posted to 2006 information requirements security standard system by michaelbanks on 2008-11-11 13:15:31 as
	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
	Expressing Security Properties Using Selective Interleaving Functions [My Copy] (3 Aug 2006) by Joseph Y. Halpern, Sabina Petride posted to 2006 generalised nondeducibility noninterference selective-interleaving separability by michaelbanks on 2008-11-02 16:53:08 as
	Z/Eves and the Mondex Electronic Purse [My Copy] Theoretical Aspects of Computing - ICTAC 2006 In Theoretical Aspects of Computing -- ICTAC 2006, Vol. 4281 (2006), pp. 15-34. by Jim Woodcock, Leo Freitas posted to 2006 grand-challenge mondex refinement security specification theorem-proving verification z z-eves by michaelbanks on 2008-11-02 15:25:46 as
	Attacking Group Protocols by Refuting Incorrect Inductive Conjectures [My Copy] Journal of Automated Reasoning, Vol. 36, No. 1. (January 2006), pp. 149-176. by Graham Steel, Alan Bundy posted to 2006 attack group protocol 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
	The Computer Ate my Vote [My Copy] No. CS-TR-988. (November 2006) by Peter Ryan posted to 2006 security voting protocol by michaelbanks on 2008-10-29 17:50:23 as
	Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche [My Copy] In FM 2006: Formal Methods, Vol. 4085 (2006), pp. 592-597. by David von Oheimb posted to 2006 formal-methods introduction security by michaelbanks on 2008-10-29 17:50:22 as
	An Approach to Automated Design of Security Protocols [My Copy] In International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06) (2006) by Pavel Ocenasek, Miroslav Sveda posted to 2006 automatic design search security genetic-programming protocol by michaelbanks on 2008-10-29 17:50:22 as
	Procedure compilation in the refinement calculus [My Copy] Formal Aspects of Computing, Vol. 18, No. 2. (June 2006), pp. 152-180. by K. Lermer, C. J. Fidge posted to 2006 predicate procedure refinement semantics transformation 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

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

Result page: 1 2 Next

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	35
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

michaelbanks's 2006 [64 articles] Export

michaelbanks's tags