michaelbanks's 2008 [75 articles] Export Sort

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

Hide details

	Coq in a Hurry [My Copy] (26 October 2008) by Yves Bertot posted to tutorial theorem-proving coq 2008 by michaelbanks on 2009-11-22 15:33:04 as
	Towards Modelling Obligations in Event-B [My Copy] Abstract State Machines, B and Z In Abstract State Machines, B and Z, Vol. 5238 (2008), pp. 181-194. by Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard posted to trigger obligation model guarded event-b 2008 by michaelbanks on 2009-11-12 10:53:15 as along with 1 person GMariano
	The event-B Modelling Method: Concepts and Case Studies [My Copy] Logics of Specification Languages In Logics of Specification Languages (2008), pp. 47-152. by Dominique Cansell, Dominique Méry edited by Dines Bjørner, Martin C. Henson posted to rodin introduction event-b case-study 2008 by michaelbanks on 2009-11-12 10:40:57 as along with 3 people and 1 group prahlad leonardo jhs06r Event-B
	Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency [My Copy] Automata, Languages and Programming In Automata, Languages and Programming, Vol. 5126 (2008), pp. 1-13. by Ran Canetti posted to security protocol composition 2008 by michaelbanks on 2009-10-30 10:24:40 as
	Towards Formal Specification of Abstract Security Properties [My Copy] Third International Conference on Availability, Reliability and Security In Third International Conference on Availability, Reliability and Security, Vol. 0 (March 2008), pp. 80-87. by Antonio Maña, Gimena Pujol posted to verification specification security property formal-methods 2008 by michaelbanks on 2009-10-02 10:16:12 as
	On the Decidability of Model-Checking Information Flow Properties [My Copy] Information Systems Security In Information Systems Security, Vol. 5352 (2008), pp. 26-40. by Deepak D’Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick posted to property model-checking maks information-flow decidability automata 2008 by michaelbanks on 2009-08-26 13:10:50 as
	Enabling verification and conformance testing for access control model [My Copy] In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204. by Hongxin Hu, Gail-Joon Ahn posted to role-based-access-control verification testing security sat-solver rcl2000 management framework conformance automatic assurance analysis alloy access-control 2008 by michaelbanks on 2009-08-26 10:18:16 as
	Ponder2 - A Policy Environment for Autonomous Pervasive Systems [My Copy] Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE Workshop on In 2008 IEEE Workshop on Policies for Distributed Systems and Networks - POLICY (June 2008), pp. 245-246. by Kevin Twidle, Emil Lupu, Naranker Dulay, Morris Sloman posted to system specification ponder policy language adaptation 2008 by michaelbanks on 2009-08-18 15:51:53 as
	In the beginning was game semantics [My Copy] (24 Oct 2008) by Giorgi Japaridze posted to 2008 computability game-theory logic semantics by michaelbanks on 2009-07-15 13:58:48 as along with 1 person Anyzev
	Secrecy in Multiagent Systems [My Copy] ACM Transactions on Information and System Security, Vol. 12, No. 1. (2008), pp. 1-47. by Joseph Y. Halpern, Kevin R. O'Neill posted to 2008 framework information-flow nondeducibility noninterference possibilistic probabilistic security semantics by michaelbanks on 2009-07-13 10:47:13 as
	Extracting Conditional Confidentiality Policies [My Copy] 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) In 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) (November 2008), pp. 107-116. by Michael C. Tschantz, Jeannette M. Wing posted to 2008 confidentiality extraction incident-insensitive noninterference policy security static-analysis by michaelbanks on 2009-07-09 11:08:35 as
	Model checking Circus --- final report [My Copy] (31 July 2008) by Leo Freitas, Jim Woodcock posted to 2008 circus model-checking tool by michaelbanks on 2009-07-08 11:13:17 as
	A Mini Challenge: Build a Verifiable Filesystem [My Copy] Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 49-56. by Rajeev Joshi, Gerard Holzmann posted to 2008 file-system posix verified-software-repository by michaelbanks on 2009-07-06 16:25:13 as
	Formal Modeling and Analysis of a Flash Filesystem in Alloy [My Copy] Abstract State Machines, B and Z In Abstract State Machines, B and Z, Vol. 5238 (2008), pp. 294-308. by Eunsuk Kang, Daniel Jackson posted to 2008 alloy file-system model posix verified-software-repository by michaelbanks on 2009-07-06 16:22:44 as along with 1 person jhs06r
	POSIX and the Verification Grand Challenge: A Roadmap [My Copy] iceccs In ICECCS '08: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems, Vol. 0 (2008), pp. 153-162. by Leo Freitas, Jim Woodcock, Andrew Butterfield posted to 2008 file-system posix verified-software-repository by michaelbanks on 2009-07-06 16:17:53 as along with 1 person jhs06r
	Modelling and Proof of a Tree-Structured File System in Event-B and Rodin [My Copy] Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 5256 (2008), pp. 25-44. by Kriangsak Damchoom, Michael Butler, Jean-Raymond Abrial posted to 2008 event-b file-system model proof rodin by michaelbanks on 2009-07-03 10:42:45 as along with 2 people and 1 group jhs06r GMariano Formal methods for safety critical software
	A Brief Overview of PVS [My Copy] Theorem Proving in Higher Order Logics In Theorem Proving in Higher Order Logics, Vol. 5170 (2008), pp. 22-27. by Sam Owre, Natarajan Shankar posted to 2008 pvs theorem-proving verification by michaelbanks on 2009-06-23 20:30:37 as along with 2 people mishra_satish leonardo
	Tokeneer ID Station -- EAL5 Demonstrator: Summary Report [My Copy] No. S.P1229.81.1. (19 August 2008) by David Cooper, Janet Barnes posted to 2008 formal-methods praxis security tokeneer by michaelbanks on 2009-06-17 17:35:43 as
	Information Security Breaches Survey 2008 [My Copy] (April 2008) by PricewaterhouseCoopers posted to 2008 hacking information security survey by michaelbanks on 2009-06-01 09:54:38 as
	Determinates vs. Determinables [My Copy] In The Stanford Encyclopedia of Philosophy (2008) by David H. Sanford edited by Edward N. Zalta posted to 2008 philosophy by michaelbanks on 2009-05-28 18:54:12 as
	Theorem Proving for Verification (Invited Tutorial) [My Copy] Computer Aided Verification In Computer Aided Verification, Vol. 5123 (2008), pp. 11-18. by John Harrison posted to 2008 theorem-proving tutorial verification by michaelbanks on 2009-05-20 18:18:14 as along with 1 person dwei98
	The Birth of Model Checking [My Copy] 25 Years of Model Checking In 25 Years of Model Checking, Vol. 5000 (2008), pp. 1-26. by Edmund M. Clarke posted to 2008 history model-checking by michaelbanks on 2009-05-20 12:26:38 as along with 9 people websecurity zhensong meolic mattmight maddogmiller streetlightios leonardo mishra_satish zbchen
	The Beginning of Model Checking: A Personal Perspective [My Copy] 25 Years of Model Checking In 25 Years of Model Checking, Vol. 5000 (2008), pp. 27-45. by Allen E. Emerson posted to 2008 history model-checking by michaelbanks on 2009-05-20 12:24:23 as along with 3 people zhensong meolic leonardo
	A Replicated Survey of IT Software Project Failures [My Copy] IEEE Software In {}, Vol. 25, No. 5. (2008), pp. 84-90. by Khaled El-Emam, Günes A. Koru posted to 2008 development project software survey by michaelbanks on 2009-05-18 15:45:13 as
	Some Interdisciplinary Observations about Getting the “Right” Specification [My Copy] Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 64-69. by Cliff B. Jones posted to 2008 formal-methods opinion specification verification by michaelbanks on 2009-05-05 12:53:32 as along with 1 person leonardo
	Software Verification and Software Engineering: a Practitioner’s Perspective [My Copy] Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 70-73. by Anthony Hall posted to 2008 compiler grand-challenge opinion software-engineering verification by michaelbanks on 2009-04-29 14:12:43 as
	The importance of stupidity in scientific research [My Copy] Journal of Cell Science, Vol. 121, No. 11. (1 June 2008), pp. 1771-1771. by Martin A. Schwartz posted to 2008 guidance research by michaelbanks on 2009-04-23 17:08:48 as along with 36 people and 2 groups nmanzanos tomhebbron Sergey_gerbek sarelfa DLLP mmborges CarlosMorais Anita13 soniapereira vigneshjvn munzmarci CulCog jxl mutesa brembs operon yangjustinc coela silberbauer eyliu Publicase Thermaneutist spl bayesian alexgeorgiou chemistmd susz idoerg sriesenfeld cerca aramata dullhunk barry ibuch casutton jporternj McCammon structural_bioinformatics
	Tool Support for the Circus Refinement Calculus [My Copy] In Abstract State Machines, B and Z, Vol. 5238 (2008) by Alessandro C. Gurgel, Cristiano G. de Castro, Marcel V. Oliveira edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca posted to 2008 circus crefine refinement refinement-calculus tool by michaelbanks on 2009-04-23 16:55:59 as along with 1 person leonardo
	Logics of Specification Languages [My Copy] (2008) edited by Dines Bjørner, Martin C. Henson posted to 2008 book language logic specification by michaelbanks on 2009-04-23 12:43:07 as
	General Refinement, Part Two: Flexible Refinement [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 309-329. by Steve Reeves, David Streader posted to galois-connection 2008 general model refinement by michaelbanks on 2009-04-23 12:16:22 as along with 1 person leonardo
	General Refinement, Part One: Interfaces, Determinism and Special Refinement [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 277-307. by Steve Reeves, David Streader posted to 2008 general interface model refinement by michaelbanks on 2009-04-23 11:50:36 as along with 1 person leonardo
	Cryptographic Protocol Composition via the Authentication Tests [My Copy] (6 Oct 2008) by Joshua D. Guttman posted to 2008 analysis authentication composition model protocol security strand-space by michaelbanks on 2009-03-25 13:08:23 as
	Formal Support to Security Protocol Development: A Survey [My Copy] Computación y Sistemas, Vol. 12, No. 1. (2008), pp. 89-108. by Juan C. Pimentel, Raúl Monroy posted to 2008 formal methods protocol security survey by michaelbanks on 2009-03-24 14:33:42 as
	Specifying and implementing privacy-preserving cryptographic protocols [My Copy] International Journal of Information Security, Vol. 7, No. 6. (1 November 2008), pp. 395-420. by Theodoros Balopoulos, Stefanos Gritzalis, Sokratis Katsikas posted to 2008 implementation privacy protocol security specification by michaelbanks on 2009-02-27 18:06:11 as
	Abstract Interpretation [My Copy] by Patrick Cousot posted to 2008 abstract-interpretation analysis logic proof refinement by michaelbanks on 2009-02-13 19:52:03 as
	A Security Domain Model for Static Analysis and Verification of Software Programs [My Copy] In Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008 (2008), pp. 673-678. by Alan B. Shaffer posted to 2008 alloy domain model-checking security static-analysis verification by michaelbanks on 2009-02-06 17:14:47 as
	Re-engineering Xen internals for higher-assurance security [My Copy] Information Security Technical Report, Vol. 13, No. 1. (2008), pp. 17-24. by J. Mcdermott, J. Kirby, B. Montrose, T. Johnson, M. Kang posted to xen-hypervisor 2008 high-assurance hypervisor kernel security separation xenon by michaelbanks on 2009-02-03 13:50:06 as along with 1 person powerwolf
	A formal security policy for Xenon [My Copy] In FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering (2008), pp. 43-52. by John Mcdermott, Leo Freitas posted to xen-hypervisor z xenon utp separation security policy kernel information-flow hypervisor formal deterministic csp circus 2008 by michaelbanks on 2009-02-03 13:45:29 as along with 1 person powerwolf
	Security analysis and improvement of Yahalom protocol [My Copy] Industrial Electronics and Applications, 2008. ICIEA 2008. 3rd IEEE Conference on In Industrial Electronics and Applications, 2008. ICIEA 2008. 3rd IEEE Conference on (2008), pp. 1137-1140. by Li Chen, Mingxia Shi posted to 2008 analysis attack logic protocol svo yahalom by michaelbanks on 2009-01-21 15:52:02 as
	Parsing ambiguities in authentication and key establishment protocols [My Copy] (30 September 2008) by Liqun Chen, Chris J. Mitchell posted to 2008 attack authentication key-establishment parsing-ambiguity protocol security type-flaw by michaelbanks on 2009-01-21 15:27:33 as
	Improvements of authentication tests on detecting type flaw attacks [My Copy] 11th IEEE Singapore International Conference on Communication Systems (ICCS 2008) In 11th IEEE Singapore International Conference on Communication Systems (ICCS 2008) (2008), pp. 157-161. by Li Xiehua, Li Renfa, Gao Chunming posted to 2008 attack authentication detection kao-chow neuman-stubblebine protocol type-flaw verification by michaelbanks on 2009-01-20 11:36:35 as
	The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols [My Copy] Computer Aided Verification In Computer Aided Verification, Vol. 5123 (2008), pp. 414-418. by Cas Cremers posted to 2008 attack automatic protocol scyther security verification by michaelbanks on 2009-01-19 10:51:31 as
	Type Flaw Attacks and Prevention in Security Protocols [My Copy] Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on In Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on (2008), pp. 340-343. by Juan Wang, Jingwei Zhang, Huanguo Zhang posted to 2008 attack gdoi protocol security tagging type-flaw by michaelbanks on 2009-01-16 14:25:00 as
	Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool [My Copy] Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 5256 (2008), pp. 278-297. by Michael Leuschel, Marc Fontaine posted to 2008 csp fdr haskell model-checking parser tool validation by michaelbanks on 2008-12-22 12:10:06 as along with 1 person leonardo
	A Library for Light-Weight Information-Flow Security in Haskell [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 13-24. by Alejandro Russo, Koen Claessen, John Hughes posted to information-flow security library haskell 2008 by michaelbanks on 2008-12-11 13:43:36 as along with 1 person jkominek
	A Formal Analysis of Complex Type Flaw Attacks on Security Protocols [My Copy] No. TR-08-03. (10 March 2008) by Han Gao, Chiara Bodei, Pierpaolo Degano posted to type-flaw security protocol lysa formal control-flow analysis 2008 by michaelbanks on 2008-12-05 13:52:26 as
	Formal Proof -- Getting Started [My Copy] Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1408-1414. by Freek Wiedijk posted to 2008 formal mathematics proof by michaelbanks on 2008-12-05 11:47:03 as
	Formal Proof -- The Four-Color Theorem [My Copy] Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1382-1393. by Georges Gonthier posted to 2008 formal mathematics proof by michaelbanks on 2008-12-05 11:47:02 as
	Formal Proof [My Copy] Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1370-1380. by Thomas Hales posted to 2008 formal mathematics proof by michaelbanks on 2008-12-05 11:47:02 as
	Formal Proof -- Theory and Practice [My Copy] Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1395-1406. by John Harrison posted to 2008 formal mathematics proof by michaelbanks on 2008-12-05 11:47:02 as

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

Result page: 1 2 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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

michaelbanks's 2008 [75 articles] Export Sort

michaelbanks's tags