michaelbanks's protocol [146 articles] Export Sort

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

Hide details

	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
	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
	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
	Sums and Lovers: Case Studies in Security, Compositionality and Refinement [My Copy] In FM 2009: Formal Methods, Vol. 5850 (2009), pp. 289-304. by Annabelle K. McIver, Carroll C. Morgan edited by David Hutchison, Takeo Kanade, Josef Kittler, et al.Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ana Cavalcanti, Dennis R. Dams posted to 2009 case-study composition correctness protocol refinement-calculus security by michaelbanks on 2009-07-29 17:13:04 as
	Security in Computing Systems: Challenges, Approaches and Solutions [My Copy] (2009) by Joachim Biskup posted to 2009 access-control anonymity authentication book cryptography inference-control intrusion-detection protocol security by michaelbanks on 2009-07-22 12:08:10 as
	Enforcing the Unenforceable [My Copy] Security Protocols In Security Protocols, Vol. 3364 (2005), pp. 178-182. by Peter Y. Ryan posted to 2005 confidentiality policy protocol security system by michaelbanks on 2009-05-10 17:21:11 as
	Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study [My Copy] Computer Security – ESORICS 2005 In Computer Security – ESORICS 2005, Vol. 3679 (2005), pp. 197-221. by Aslan Askarov, Andrei Sabelfeld posted to 2005 case-study java jif language protocol security by michaelbanks on 2009-05-07 11:39:57 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
	On the Automated Correction of Security Protocols Susceptible to a Replay Attack [My Copy] Computer Security – ESORICS 2007 In Computer Security – ESORICS 2007, Vol. 4734 (2008), pp. 594-609. by Juan C. Pimentel, Raúl Monroy, Dieter Hutter posted to 2007 attack automatic protocol replay security by michaelbanks on 2009-04-14 21:58:28 as
	On the Automated Correction of Protocols with Improper Message Encoding [My Copy] (2009) by Dieter Hutter, Raúl Monroy edited by Luca Viganò, Pierpaolo Degano posted to 2009 protocol security strand-space type-flaw by michaelbanks on 2009-03-30 11:32:28 as
	Relations between secrets: two formal analyses of the Yahalom protocol [My Copy] Journal of Computer Security, Vol. 9, No. 3. (2001), pp. 197-216. by Lawrence C. Paulson posted to 2001 analysis induction protocol security type-flaw verification yahalom by michaelbanks on 2009-03-26 13:03:33 as
	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
	Generating Network Security Protocol Implementations from Formal Specifications [My Copy] Certification and Security in Inter-Organizational E-Service In Certification and Security in Inter-Organizational E-Service, Vol. 177 (2005), pp. 33-54. by Benjamin Tobler, Andrew C. Hutchison posted to 2005 formal implementation java protocol security specification spi-calculus spi2java by michaelbanks on 2009-03-17 12:29:15 as
	Spi2Java: automatic cryptographic protocol Java code generation from spi calculus [My Copy] 18th International Conference on Advanced Information Networking and Applications (AINA '04) In 18th International Conference on Advanced Information Networking and Applications (AINA '04), Vol. 1 (2004), pp. 400-405. by Davide Pozza, Riccardo Sisto, Luca Durante posted to 2004 automatic java protocol security spi-calculus spi2java by michaelbanks on 2009-03-02 11:50:38 as
	Cryptographic Protocol Generation from CAPSL [My Copy] No. SRI-CSL-01-07. (2001) by Jonathan Millen, Frederic Muller posted to 2001 automatic capsl protocol refinement security by michaelbanks on 2009-03-02 11:43:52 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
	Variations on the Themes of Message Freshness and Replay or, the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols [My Copy] 6th IEEE Computer Security Foundations Workshop (CSFW '93) In 6th IEEE Computer Security Foundations Workshop (CSFW '93) (1993), pp. 131-136. by Li Gong posted to 1993 analysis attack formal freshness methods protocol replay security by michaelbanks on 2009-02-24 11:57:12 as
	A note on the use of tagging to prevent type-flaw attacks on security protocols [My Copy] (2007) by Sreekanth Malladi posted to 2007 decidability protocol security tagging type-flaw verification xor by michaelbanks on 2009-02-18 15:32:35 as
	Attacks On An ISO/IEC 11770-2 Key Establishment Protocol [My Copy] (23 Sep 2004) by Zhaohui Cheng, Richard Comley posted to 2004 attack iso-iec-11770-2 key-establishment protocol replay security type-flaw by michaelbanks on 2009-02-18 10:16:57 as
	On a Limitation of BAN Logic [My Copy] Advances in Cryptology — EUROCRYPT ’93 In Advances in Cryptology -- EUROCRYPT '93, Vol. 765 (1994), pp. 240-247. by Colin Boyd, Wenbo Mao posted to 1994 ban logic otway-rees protocol security by michaelbanks on 2009-02-17 17:26:08 as along with 1 person hurryon
	Formal automatic verification of authentication cryptographic protocols [My Copy] First IEEE International Conference on Formal Engineering Methods In First IEEE International Conference on Formal Engineering Methods (1997), pp. 50-59. by M. Debbabi, M. Mejri, N. Tawbi, I. Yahmadi posted to 1997 authentication automatic protocol security verification woo-lam by michaelbanks on 2009-02-13 13:52:05 as
	Tagging Makes Secrecy Decidable with Unbounded Nonces as Well [My Copy] FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (2003), pp. 363-374. by R. Ramanujam, S. P. Suresh posted to 2003 analysis decidability nonce protocol security tagging verification by michaelbanks on 2009-02-08 18:33:26 as
	How to Prevent Type Flaw Attacks on Security Protocols [My Copy] 13th IEEE Computer Security Foundations Workshop (CSFW '00) In 13th IEEE Computer Security Foundations Workshop (CSFW '00), Vol. 0 (2000) by James Heather, Gavin Lowe, Steve Schneider posted to 2000 attack protocol security strand-space tagging type-flaw by michaelbanks on 2009-02-06 15:31:55 as
	Integrating Security in a Large Distributed System [My Copy] ACM Transactions on Computer Systems, Vol. 7, No. 3. (1989), pp. 247-280. by M. Satyanarayanan posted to 1989 andrew-secure-rpc distributed protocol security by michaelbanks on 2009-01-28 16:53:45 as
	Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (05 July 2005), pp. 95-114. by Monica Nesi, Giuseppina Rucci posted to 2005 analysis needham-schroeder protocol rewrite security by michaelbanks on 2009-01-27 19:45:34 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
	Looking for diamonds in the desert - extending automatic protocol generation to three-party authentication and key agreement protocols [My Copy] 13th IEEE Computer Security Foundations Workshop (CSFW '00) In 13th IEEE Computer Security Foundations Workshop (CSFW '00) (2000), pp. 64-76. by Adrian Perrig, Dawn Song posted to 2000 apg athena authentication automatic key-establishment protocol strand-space yahalom by michaelbanks on 2009-01-26 10:23:07 as
	The Yahalom Protocol [My Copy] Security Protocols In Security Protocols, Vol. 1796 (2000), pp. 78-84. by Lawrence C. Paulson posted to 2000 protocol security verification yahalom by michaelbanks on 2009-01-21 16:41:29 as
	Yahalom Security Protocol in Circus [My Copy] (August 2002) by Leonardo Freitas posted to 2002 circus csp protocol security yahalom z-eves by michaelbanks on 2009-01-21 16:36:54 as
	An On-the-Fly Model-Checker for Security Protocol Analysis [My Copy] Computer Security – ESORICS 2003, Vol. 2808 (2003), pp. 253-270. by David Basin, Sebastian Mödersheim, Luca Viganò posted to 2003 analysis attack model-checking ofmc protocol replay security type-flaw spore-library by michaelbanks on 2009-01-21 16:09:15 as
	A Taxonomy of Replay Attacks [cryptographic protocols] [My Copy] 7th IEEE Computer Security Foundations Workshop (CSFW '94) In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 187-191. by Paul Syverson posted to 1994 attack protocol replay security survey yahalom by michaelbanks on 2009-01-21 15:59:25 as
	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
	An efficient and secure authentication protocol using uncertified keys [My Copy] Operating Systems Review, Vol. 29, No. 3. (1995), pp. 14-21. by Lung I. Kao, Randy Chow posted to 1995 authentication kao-chow protocol security by michaelbanks on 2009-01-20 16:13:17 as
	Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols [My Copy] 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) In 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) (2007), pp. 153-160. by M. Cheminod, Cibrario, L. Durante, R. Sisto, A. Valenzano posted to 2007 analysis casper comparison fdr model-checking protocol s3a security tool by michaelbanks on 2009-01-20 15:39:14 as
	A Lesson on Authentication Protocol Design [My Copy] Operating Systems Review, Vol. 28, No. 3. (1994), pp. 24-37. by Thomas Y. C. Woo, Simon S. Lam posted to 1994 authentication flaw protocol woo-lam by michaelbanks on 2009-01-20 13:43:12 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
	Two attacks on Neuman-Stubblebine authentication protocols [My Copy] Information Processing Letters, Vol. 53, No. 2. (27 January 1995), pp. 103-107. by Tzonelih Hwang, Narn-Yoh Lee, Chuang-Ming Li, Ming-Yung Ko, Yung-Hsiang Chen posted to 1995 attack neuman-stubblebine protocol security type-flaw by michaelbanks on 2009-01-20 10:35:58 as
	Mechanized proofs of security protocols: Needham-Schroeder with public keys [My Copy] No. UCAM-CL-TR-413. (January 1997) by Lawrence C. Paulson posted to 1997 hol isabelle needham-schroeder proof protocol security by michaelbanks on 2009-01-20 10:27:10 as
	Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches [My Copy] Computer Security — ESORICS 96, Vol. 1146 (1996), pp. 351-364. by Catherine Meadows posted to 1996 analysis comparison fdr needham-schroeder protocol security type-flaw by michaelbanks on 2009-01-20 10:16:13 as
	Authenticity by typing for security protocols [My Copy] Journal of Computer Security, Vol. 11, No. 4. (2003), pp. 451-519. by Andrew D. Gordon, Alan Jeffrey posted to 2003 authenticity protocol security spi-calculus type-checking by michaelbanks on 2009-01-19 14:26:36 as
	A Note on the Use of Timestamps as Nonces [My Copy] Operating Systems Review, Vol. 27, No. 2. (1993), pp. 10-14. by Clifford B. Neuman, Stuart G. Stubblebine posted to 1993 nonce protocol neuman-stubblebine timestamp by michaelbanks on 2009-01-19 14:02:06 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
	Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 36 (2000), pp. 235-256. by David Basin, Grit Denker posted to 2000 analysis comparison haskell maude protocol security by michaelbanks on 2009-01-19 10:27:15 as
	Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z [My Copy] ZB 2005: Formal Specification and Development in Z and B In ZB 2005: Formal Specification and Development in Z and B, Vol. 3455 (2005), pp. 319-333. by Benjamin W. Long posted to 2005 attack needham-schroeder network object-z protocol security type-flaw by michaelbanks on 2009-01-16 16:04:35 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
	Efficient and timely mutual authentication [My Copy] Operating Systems Review, Vol. 21, No. 1. (January 1987), pp. 8-10. by Dave Otway, Owen Rees posted to 1987 authentication otway-rees protocol by michaelbanks on 2009-01-16 13:31:00 as
	Roles in cryptographic protocols [My Copy] Proceedings of the 1992 IEEE Symposium on Security and Privacy In Proceedings of the 1992 IEEE Symposium on Security and Privacy (1992), pp. 105-119. by Einar Snekkenes posted to 1992 attack protocol security by michaelbanks on 2008-12-16 16:45:51 as

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

Result page: 1 2 3 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 protocol [146 articles] Export Sort

michaelbanks's tags