michaelbanks's library 793 articles Export

	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
	A specification language for information security policies [My Copy] In CIS'09: Proceedings of the international conference on Computational and information science 2009 (2009), pp. 437-440. by Juan M. Garcia posted to specification process-algebra language information-flow 2009 by michaelbanks on 2009-11-09 10:58:20 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
	A unifying approach to the security of distributed and multi-threaded programs [My Copy] Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676. by Heiko Mantel, Andrei Sabelfeld posted to translation security program maks language information-flow distributed 2003 by michaelbanks on 2009-10-30 14:16:44 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
	An Automata Based Approach for Verifying Information Flow Properties [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58. by Deepak D’Souza, K. R. Raghavendra, Barbara Sprick posted to verification unwinding security model-checking maks information-flow automata 2005 by michaelbanks on 2009-10-30 10:34:52 as
	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
	On The Composition Of Security Properties [My Copy] (1996) by Aris Zakinthinos posted to unwinding theory security property information-flow composition 1996 by michaelbanks on 2009-10-29 18:28:52 as
	Secure information flow and program logics [My Copy] Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248. by Lennart Beringer, Martin Hofmann posted to verification type-system security isabelle information-flow hol hoare-logic 2007 by michaelbanks on 2009-10-28 17:19:03 as
	A Taxonomy of Security Properties for Process Algebras [My Copy] Journal of Computer Security, Vol. 3, No. 1. (1995), pp. 5-34. by Riccardo Focardi, Roberto Gorrieri posted to security property process-algebra information-flow comparison 1995 by michaelbanks on 2009-10-28 10:44:04 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 19 people and 2 groups 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
	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
	Prespecification in data refinement [My Copy] Information Processing Letters, Vol. 25, No. 2. (06 May 1987), pp. 71-76. by C. A. R. Hoare, Jifeng He, J. W. Sanders posted to simulation refinement data 1987 by michaelbanks on 2009-10-22 13:57:21 as
	How to write mathematics [My Copy] L'Enseignement Mathématique, Vol. 16 (1970), pp. 123-152. by Paul R. Halmos posted to mathematics guidance 1970 by michaelbanks on 2009-10-22 10:08:35 as along with 4 people fierykylin jjray NitinCR alexv
	The Verified Software Initiative: A Manifesto [My Copy] ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-8. by C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar posted to verified-software-repository manifesto 2009 by michaelbanks on 2009-10-20 10:25:29 as along with 1 person leonardo
	Software model checking [My Copy] ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54. by Ranjit Jhala, Rupak Majumdar posted to verification software model-checking 2009 by michaelbanks on 2009-10-20 10:24:08 as along with 1 person leonardo
	Automated deduction for verification [My Copy] ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-56. by Natarajan Shankar posted to verification software sat-solver reasoning logic hardware automatic 2009 by michaelbanks on 2009-10-20 10:23:09 as
	Exploiting Generic Aspects of Security Models in Formal Developments [My Copy] Mechanizing Mathematical Reasoning In Mechanizing Mathematical Reasoning, Vol. 2605 (2005), pp. 452-475. by Heiko Mantel, Axel Schairer posted to security maks information-flow formal-methods 2005 by michaelbanks on 2009-10-19 19:18:02 as
	A Computational Introduction to Number Theory and Algebra [My Copy] (06 June 2005) by Victor Shoup posted to theory number-theory mathematics introduction cryptography book algebra 2005 by michaelbanks on 2009-10-18 10:56:23 as along with 4 people Scis0000002 kujan dsquared jrw
	A Gentle Introduction to Haskell [My Copy] (October 1999) by Paul Hudak, John Peterson, Joseph Fasel posted to functional-programming programming introduction haskell 1999 by michaelbanks on 2009-10-15 09:48:30 as along with 2 people and 1 group draganigajic mcclurmc functional programming
	Elementary Set Theory with a Universal Set [My Copy] Elementary Set Theory with a Universal Set (1998) by Randall Holmes posted to set-theory mathematics book 1998 by michaelbanks on 2009-10-14 18:31:35 as along with 1 person emiliorp
	A Gentle Introduction to Category Theory --- the calculational approach [My Copy] In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992) by Maarten M. Fokkinga posted to lecture-notes introduction category-theory 1992 by michaelbanks on 2009-10-10 10:01:48 as along with 2 people and 1 group pedagand aleks Compilers
	An algebraic framework for information theory: Classical Information [My Copy] (8 Oct 2009) by Manas K. Patra, Samuel L. Braunstein posted to probabilistic model information-theory framework algebraic 2009 by michaelbanks on 2009-10-09 11:50:05 as along with 1 person ansobol
	Isomorphisms between predicate and state transformers [My Copy] Mathematical Foundations of Computer Science 1993 In Mathematical Foundations of Computer Science 1993, Vol. 711 (1993), pp. 301-310. by Marcello Bonsangue, Joost N. Kok posted to topology state-transformer safety predicate-transformer predicate monotonic liveness isomorphism continuous 1993 by michaelbanks on 2009-10-05 16:13:59 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
	Post-Hoc Separation Policy Analysis with Graph Algorithms [My Copy] In Workshop on Foundations of Computer Security (FCS'09). Affiliated with Logic in Computer Science (LICS) (August 2009) by Lee Pike posted to information-flow 2009 by michaelbanks on 2009-10-01 09:36:18 as
	One Man's View of Computer Science [My Copy] Journal of the ACM, Vol. 16, No. 1. (January 1969), pp. 3-12. by Richard W. Hamming posted to turing-award opinion computer-science 1969 by michaelbanks on 2009-09-30 17:03:45 as along with 3 people guru edwardvielmetti pratap
	Quantifying Information Flow with Beliefs [My Copy] Journal of Computer Security (2009) by Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider posted to attack quantitative information-flow 2009 by michaelbanks on 2009-09-26 10:53:28 as
	Automatic Discovery and Quantification of Information Leaks [My Copy] Security and Privacy, IEEE Symposium on In 30th IEEE Symposium on Security and Privacy, Vol. 0 (2009), pp. 141-153. by Michael Backes, Boris Köpf, Andrey Rybalchenko posted to verification quantification information-flow automatic analysis 2009 by michaelbanks on 2009-09-26 10:45:53 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
	Retrospective: an axiomatic basis for computer programming [My Copy] Communications of the ACM, Vol. 52, No. 10. (2009), pp. 30-32. by C. A. R. Hoare posted to verification retrospective proof programming hoare-logic formal-methods axiomatic 2009 by michaelbanks on 2009-09-26 10:00:45 as along with 3 people onierstrasz leonardo ajholanda
	The joys of bisimulation [My Copy] Mathematical Foundations of Computer Science 1998 In Mathematical Foundations of Computer Science 1998, Vol. 1450 (1998), pp. 142-151. by Colin Stirling posted to simulation bisimulation 1998 by michaelbanks on 2009-09-21 11:39:15 as
	Quantification and Formalization of Security [My Copy] (February 2010) by Michael R. Clarkson posted to trace security quantification property information-flow hyperproperty confidentiality availability 2010 by michaelbanks on 2009-09-19 11:03:53 as
	Hyperproperties [My Copy] (30 June 2009) by Michael R. Clarkson, Fred B. Schneider posted to verification trace security safety refinement property policy liveness hyperproperty 2009 by michaelbanks on 2009-09-19 10:56:34 as
	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
	Formal Methods: State of the Art and New Directions [My Copy] (04 September 2009) by Paul P. Boca, Jonathan P. Bowen, Jawed I. Siddiqi posted to verification formal-methods book 2009 by michaelbanks on 2009-09-18 16:41:53 as along with 1 person dokooh
	Security and Composition of Multiparty Cryptographic Protocols [My Copy] Journal of Cryptology, Vol. 13, No. 1. (24 September 2000), pp. 143-202. by Ran Canetti posted to security protocol multi-agent cryptography composition 2000 by michaelbanks on 2009-09-16 14:07:16 as
	Universally Composable Security: A New Paradigm for Cryptographic Protocols [My Copy] (22 Dec 2000) by Ran Canetti posted to security protocol framework cryptography composition analysis 2000 by michaelbanks on 2009-09-16 13:57:31 as along with 1 person bjoerntm
	Cipher printing telegraph systems for secret wire and radio telegraphic communications [My Copy] Journal of the American Institute of Elecrical Engineers, Vol. 45 (February 1926), pp. 109-115. by Gilbert S. Vernam posted to one-time-pad cryptography cipher 1926 by michaelbanks on 2009-09-14 18:23:11 as
	Broken Promises of Privacy: Responding to the Surprising Failure of Anonymization [My Copy] Social Science Research Network Working Paper Series (17 August 2009) by Paul Ohm posted to security privacy anonymization anonymity 2009 by michaelbanks on 2009-09-08 14:26:33 as along with 12 people danilov paulovn tnhh jclau Gorzomagnificent srijit pak installe dejang mariawolters bfraser gvdh
	Information flow security - models, verification and schedulers [My Copy] (2009) by Chenyi Zhang posted to verification unwinding timing-channels state-based security scheduler model information-flow bisimulation 2009 by michaelbanks on 2009-09-06 10:44:16 as
	Bringing security home: a process for developing secure and usable systems [My Copy] In NSPW '03: Proceedings of the 2003 workshop on New security paradigms (2003), pp. 49-57. by Ivan Flechais, M. Angela Sasse, Stephen M. V. Hailes posted to usability uml software-engineering security grid-computing aegis 2003 by michaelbanks on 2009-09-01 14:13:12 as along with 4 people and 3 groups leei shawn KAllendoerfer viveee Blog_and_Wiki_Research ubc-ucl Usable_Security
	Galois Connections and Fixed Point Calculus [My Copy] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction In Lecture Notes in Computer Science, Vol. 2297 (2002), pp. 89-150. by Roland Backhouse edited by Roland Backhouse, Roy Crole, Jeremy Gibbons posted to tutorial theory set-theory partial-order mathematics galois-connection fixed-point 2002 by michaelbanks on 2009-09-01 11:46:21 as along with 6 people jirak neelk neelkrishnaswami spl leonardo Scis0000002
	Sets for Mathematics [My Copy] (27 January 2003) by F. William Lawvere, Robert Rosebrugh posted to set-theory mathematics introduction category-theory book 2003 by michaelbanks on 2009-08-28 13:09:13 as along with 5 people and 2 groups seno isotelesis DavidChemouil mahler rgb Rightscom pileWorks
	Conceptual Mathematics: A First Introduction to Categories [My Copy] (28 November 1997) by F. William Lawvere, Stephen H. Schanuel posted to mathematics introduction category-theory book 1997 by michaelbanks on 2009-08-28 13:08:37 as along with 9 people and 1 group seno ddemange pedagand msakai bonotake NitinCR rgb kaqui incognito pileWorks
	Logic Column 10: Specifying Confidentiality [My Copy] (11 Nov 2004) by Riccardo Pucella posted to specification security protocol possible-worlds nondeducibility information-flow cryptography confidentiality 2004 by michaelbanks on 2009-08-27 12:56:01 as
	Security Analysis with Deviational Techniques [My Copy] No. YCST-2005-12. (April 2005) by Thitima Srivatanakul posted to security requirements hazop analysis 2005 by michaelbanks on 2009-08-26 16:34:00 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
	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
	Security of multi-agent systems: A case study on comparison shopping [My Copy] Journal of Applied Logic, Vol. 5, No. 2. (June 2007), pp. 303-332. by Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer posted to security multi-agent case-study 2007 by michaelbanks on 2009-08-26 12:21:12 as

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

Result page: 1 2 3 4 5 6 7 8 9 10 Next

security	345
protocol	146
book	96
refinement	91
information-flow	89
specification	86
formal-methods	83
verification	77
2008	72
2006	63
model	62
attack	58
proof	57
property	57
2009	55
analysis	50
csp	49
2007	47
noninterference	47
formal	46
logic	45
language	44
2005	43
survey	42
system	42
2003	40
1996	37
semantics	37
software	35
z	35
confidentiality	34
programming	34
textbook	34
process-algebra	33
type-flaw	33
2001	31
composition	31
program	31
framework	30
policy	30
1995	29
theory	29
model-checking	28
tool	27
1990	26
2000	26
2002	26
authentication	26
introduction	26
1994	25
automatic	25
mathematics	25
software-engineering	25
2004	24
cryptography	24
1992	23
1997	23
1999	23
concurrency	21
1998	20
1987	18
development	18
probabilistic	18
safety	18
trace	18
access-control	17
bell-lapadula	17
1993	16
commercial	16
distributed	16
unwinding	16
needham-schroeder	15
possibilistic	15
theorem-proving	15
algebraic	14
circus	14
criticism	14
design	14
information	13
integrity	13
key	13
liveness	13
refinement-calculus	13
utp	13
1988	12
1989	12
data	12
search	12
testing	12
alloy	11
ban	11
bisimulation	11
engineering	11
fdr	11
hacking	11
maks	11
multi-level	11
preserving	11
requirements	11
1991	10
ccs	10
correctness	10
haskell	10
java	10
nondeterministic	10
synthesis	10
yahalom	10
1981	9
anonymity	9
availability	9
case-study	9
channels	9
hoare-logic	9
nondeducibility	9
public	9
strand-space	9
type-system	9
1985	8
belief	8
comparison	8
constraint-solving	8
dolev-yao	8
heuristic	8
knowledge	8
operational	8
privacy	8
reasoning	8
simulation	8
spi-calculus	8
temporal	8
verified-software-repository	8
1977	7
1978	7
1984	7
automata	7
b-method	7
category-theory	7
compiler	7
covert	7
event-b	7
kernel	7
neuman-stubblebine	7
static-analysis	7
tagging	7
1986	6
action	6
communication	6
executable	6
functional-programming	6
guidance	6
history	6
object-z	6
operating-system	6
replay	6
roundtable	6
separability	6
type-checking	6
1976	5
1983	5
abstraction	5
control-flow	5
decidability	5
denotational	5
derivation	5
expressiveness	5
file-system	5
generalised	5
grand-challenge	5
isabelle	5
jif	5
key-establishment	5
lattice	5
management	5
mondex	5
multi-agent	5
opinion	5
optimisation	5
otway-rees	5
paradox	5
philosophy	5
pi-calculus	5
precondition	5
predicate-transformer	5
role-based-access-control	5
standard	5
stepwise	5
structure	5
svo	5
transformation	5
transitive	5
tutorial	5
uml	5
1972	4
1980	4
1982	4
architecture	4
axiomatic	4
casper	4
cipher-block-chaining	4
confinement	4
definition	4
deterministic	4
distribution	4
equivalence	4
game-theory	4
gdoi	4
general	4
hol	4
implementation	4
induction	4
labelled-transition-system	4
model-driven	4
network	4
noninference	4
object-oriented	4
posix	4
quantitative	4
reliability	4
resource-allocation	4
review	4
rodin	4
selective-interleaving	4
spa	4
state-machine	4
time	4
tla	4
validation	4
vdm	4
weakest	4
web-services	4
z-eves	4
1969	3
1975	3
1979	3
abstract-interpretation	3
accountability	3
ada	3
artificial-intelligence	3
athena	3
biba	3
capacity	3
certification	3
chaos-report	3
chinese-wall	3
command	3
computer	3
coq	3
declassification	3
decomposition	3
denial-of-service	3
divergences	3
economics	3
failures	3
flaw	3
flow	3
galois-connection	3
genetic-algorithm	3
godel	3
guarded	3
inference-control	3
internet	3
kerberos	3
larch	3
linking	3
lysa	3
mechanised	3
methods	3
no-silver-bullet	3
perfect	3
ponder	3
predicate	3
predicate-calculus	3
principles	3
raise	3
reconfigurable	3
recursion	3
relational	3
rewrite	3
risk	3
set-theory	3
simulated-annealing	3
social-processes	3
stairs	3
trust	3
unifying	3
usability	3
window	3
1971	2
1973	2
1974	2
adaptation	2
advocacy	2
algorithm	2
algorithms	2
andrew-secure-rpc	2
animation	2
assurance	2
authenticity	2
avispa	2
capsl	2
ckt5	2
clark-wilson	2
closure	2
complexity	2
computability	2
contract	2
csp-oz	2
database	2
dictionary	2
dining-cryptographers	2
discretionary-access-control	2
dynamic	2
efficient	2
eiffel	2
emergence	2
evaluation	2
event	2
extraction	2
finalisation	2
floating-point	2
fm	2
focus	2
functionality	2
genetic-programming	2
guessing	2
guidelines	2
hardware	2
hru	2
hyperproperty	2
hypervisor	2
ibm-cics	2
ignorance	2
incident-insensitive	2
indistinguishability-classes	2
indistinguishable	2
kao-chow	2
lambda-calculus	2
limitations	2
mandatory-access-control	2
memory	2
mix	2
mobile	2
multics	2
natural	2
nonce	2
non-functional	2
operators	2
parser	2
password	2
pattern-matching	2
pointers	2
possible-worlds	2
practical	2
project	2
prolog	2
quantification	2
real-time	2
records	2
reference	2
relation	2
representation	2
research	2
restrictiveness	2
retrieve-relation	2
s3a	2
safety-critical	2
sat-solver	2
scyther	2
separation	2
separation-logic	2
separation-of-duty	2
sequential	2
shadow-semantics	2
spark	2
spi2java	2
spore-library	2
statistics	2
storage	2
swift	2
system-z	2
teaching	2
theorem	2
timestamp	2
tokeneer	2
topology	2
turing-award	2
virus	2
voting	2
woo-lam	2
writing	2
xen-hypervisor	2
xenon	2
1926	1
1948	1
1962	1
1967	1
1970	1
2010	1
acp	1
aegis	1
agent	1
aggregation	1
algebra	1
algol	1
anonymization	1
apg	1
art	1
assertion	1
backtracking	1
backwards	1
behaviours	1
beller-yacobi	1
bird-meertens	1
bndc	1
botnets	1
bpp	1
bpw	1
brute-force	1
b-toolkit	1
bug	1
caml	1
cellphone	1
choice	1
chosen-name	1
cipher	1
classes	1
collaborative	1
combinator	1
common-criteria	1
community	1
computer-science	1
conflict-of-interest	1
conformance	1
continuous	1
contract-bridge	1
cosp-j	1
crefine	1
cscw	1
curry-howard	1
cut-and-paste	1
deadlock	1
declarative	1
decoding	1
defence	1
denning-sacco	1
design-by-contract	1
detection	1
deterrent	1
diagram	1
digital-restrictions	1
domain	1
doxastic	1
eclipse	1
ecma	1
eigen	1
email	1
encoding	1
ensured-entropy	1
entropy	1
environment	1
epistemic	1
exception-handling	1
execution	1
exercises	1
extreme-programming	1
finger-tree	1
fixed-point	1
forward-correctability	1
forwards	1
freshness	1
game	1
gny	1
grid-computing	1
group	1
guru	1
hazop	1
high-assurance	1
histar	1
huffman	1
incompleteness	1
information-theory	1
intel	1
intelligent	1
interation	1
interface	1
intrusion-detection	1
invariant	1
iso-iec-11770-2	1
isomorphism	1
jape	1
jcsp	1
kiv	1
kripke-structure	1
lasco	1
lazy	1
lecture	1
lecture-notes	1
library	1
lightweight	1
linear	1
linux	1
manifesto	1
maude	1
may	1
microsoft	1
military	1
miracle	1
ml	1
modal	1
modularity	1
monads	1
monitor	1
monotonic	1
monte-carlo	1
mu-calculus	1
music	1
nonfunctional	1
non-repudiation	1
numbers	1
number-theory	1
numerical	1
obj	1
obligation	1
ofmc	1
one-time-pad	1
open-source	1
ordering	1
orthogonal	1
paraconsistent	1
parsing-ambiguity	1
partial-order	1
pentium	1
perfect-security-property	1
petri-nets	1
pingpong	1
praxis	1
probe	1
problem-frame	1
procedure	1
punishment	1
pvs	1
quality	1
rcl2000	1
readiness	1
reflexive	1
refusals	1
retrospective	1
rootkit	1
rsa	1
scale-free	1
scheduler	1
schema	1
seaview	1
secpal	1
secure-electronic-transaction	1
segregation	1
sel4	1
self-reference	1
separation-of-concerns	1
sharing	1
side-channel	1
signing	1
similarity	1
skolem	1
spin	1
state-based	1
state-transformer	1
steganography	1
strategy	1
support	1
symbolic	1
synchronisation	1
talk	1
taxonomy	1
term	1
timing-channels	1
tls	1
transaction	1
transition-axiom	1
translation	1
transputer	1
ucon	1
undecidability	1
unix	1
usage	1
virtual	1
visual	1
weak	1
wide-mouthed-frog	1
wireless-sensor	1
x509	1
xor	1
ynot	1
zero-knowledge	1

michaelbanks's library 793 articles Export

michaelbanks's tags