michaelbanks's verification [79 articles] Export

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

Hide details

	Verification of a Formal Security Model for Multiapplicative Smart Cards [My Copy] Computer Security - ESORICS 2000 (2000), pp. 17-36. by Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll posted to verification smart-card noninterference model formal biba bell-lapadula authentication access-control 2000 by michaelbanks on 2009-11-19 09:50:12 as along with 1 person powerwolf
	Using Alloy to Automatically Verify the Soundness of the Simulation Rules for Reasoning about State-Based and Event-Based Models [My Copy] (April 2003) by Christie Bolton posted to z verification state-based model-checking event csp automatic alloy 2003 by michaelbanks on 2009-11-12 17:42:43 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
	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
	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 3 people asilva zhensong 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
	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
	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
	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
	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
	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
	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
	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
	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
	seL4: Formal Verification of an OS Kernel [My Copy] In 22nd ACM Symposium on Operating Systems Principles (SOSP) (2009) by Gerwin Klein, Kevin Elphinstone, Gernot Heiser, et al.June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood posted to verification sel4 operating-system kernel haskell formal correctness 2009 by michaelbanks on 2009-08-14 09:44:13 as
	Verified Programming in Guru [My Copy] (2009) by Aaron Stump posted to functional-programming 2009 book coq guru programming proof tutorial verification by michaelbanks on 2009-08-05 09:03:14 as
	Information Hiding, Anonymity and Privacy: A Modular Approach [My Copy] Journal of Computer Security, Vol. 12, No. 1. (2004), pp. 3-36. by Dominic Hughes, Vitaly Shmatikov posted to 2004 anonymity confidentiality information-flow knowledge kripke-structure logic security verification by michaelbanks on 2009-07-22 12:16:55 as along with 1 person sgwyj
	A logic for reasoning about security [My Copy] ACM Transactions on Computer Systems, Vol. 10, No. 3. (1992), pp. 226-264. by Janice Glasgow, Glenn Macewen, Prakash Panangaden posted to 1992 framework knowledge logic policy security verification by michaelbanks on 2009-07-21 13:29:49 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
	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
	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
	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
	Questions to Robin Milner -- A Responder's Commentary [My Copy] In Information Processing 86 (1986), pp. 515-518. by Willem-Paul de Roever edited by H. J. Kugler posted to 1986 language specification verification by michaelbanks on 2009-05-19 16:22:41 as
	Social Processes and Proofs of Theorems and Programs [My Copy] Communications of the ACM, Vol. 22, No. 5. (May 1979), pp. 271-280. by Richard A. Demillo, Richard J. Lipton, Alan J. Perlis posted to 1979 criticism formal-methods program social-processes theorem-proving verification by michaelbanks on 2009-05-18 11:27:32 as along with 2 people ljcamargos imrchen
	The early search for tractable ways of reasoning about programs [My Copy] IEEE Annals of the History of Computing, Vol. 25, No. 2. (2003), pp. 26-49. by Cliff B. Jones posted to 2003 history program proof verification by michaelbanks on 2009-05-11 14:22:22 as along with 1 person leonardo
	The temporal logic of programs [My Copy] Foundations of Computer Science, 1977., 18th Annual Symposium on In Symposium on Foundations of Computer Science, Vol. 0 (18 July 2008), pp. 46-57. by Amir Pnueli posted to 1977 concurrency logic program proof temporal verification by michaelbanks on 2009-05-11 10:41:23 as along with 3 people ajholanda knowlengr prahlad
	Formal foundation for specification and verification [My Copy] Distributed Systems In Distributed Systems, Vol. 190 (1985), pp. 203-285. by Leslie Lamport, Fred B. Schneider posted to 1985 correctness safety specification verification by michaelbanks on 2009-05-07 15:27:23 as
	Theorem Proving for Verification [My Copy] Modeling and Verification of Parallel Processes In Modeling and Verification of Parallel Processes, Vol. 2067 (2001), pp. 39-57. by John Rushby posted to 2001 concurrency model-checking safety theorem-proving verification by michaelbanks on 2009-05-05 16:59:13 as along with 2 people dwei98 mishra_satish
	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
	Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating-Point Unit [My Copy] In Proceedings of the 13th New Zealand Computer Society Conference (1993), pp. 207-217. by Jeremy Gibbons edited by John Hosking posted to 1993 floating-point formal-methods transputer verification by michaelbanks on 2009-04-28 16:19:11 as
	BLASTing Linux Code [My Copy] Formal Methods: Applications and Technology In Formal Methods: Applications and Technology, Vol. 4346 (2007), pp. 211-226. by Jan T. Mühlberg, Gerald Lüttgen posted to 2007 kernel linux model-checking verification operating-system by michaelbanks on 2009-04-27 12:41:12 as
	Software Reliability Methods [My Copy] (26 June 2001) by Doron A. Peled posted to 2001 formal-methods reliability software verification by michaelbanks on 2009-04-25 13:30:12 as along with 1 person incubos
	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
	Formal Methods: Practice and Experience [My Copy] ACM Computing Surveys, Vol. 41, No. 4. (October 2009), pp. 1-36. by Jim Woodcock, Peter G. Larsen, Juan Bicarregui, John Fitzgerald posted to 2009 case-study formal-methods software survey verification verified-software-repository by michaelbanks on 2009-03-27 11:22:42 as along with 1 person powerwolf
	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
	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
	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
	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
	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
	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
	An Improved Constraint-Based System for the Verification of Security Protocols [My Copy] Static Analysis In Static Analysis, Vol. 2477 (2002), pp. 239-265. by Ricardo Corin, Sandro Etalle edited by Manuel V. Hermenegildo, Germán Puebla posted to 2002 constraint-solving eclipse protocol security verification by michaelbanks on 2008-12-15 12:24:53 as
	Computing Symbolic Models for Verifying Cryptographic Protocols [My Copy] In 14th IEEE Computer Security Foundations Workshop (CSFW '01) (2001), pp. 160-173. by Marcelo Fiore, Martín Abadi posted to 2001 model protocol security symbolic verification by michaelbanks on 2008-12-15 11:58:24 as
	Formal verification of type flaw attacks in security protocols [My Copy] Software Engineering Conference, 2003. Tenth Asia-Pacific In Software Engineering Conference, 2003. Tenth Asia-Pacific (2003), pp. 415-424. by Benjamin W. Long posted to 2003 formal protocol security type-flaw verification z by michaelbanks on 2008-12-04 12:34:27 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
	What is the best way to prove a cryptographic protocol correct? [My Copy] IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2008) In IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2008) (2008), pp. 1-7. by Sreekanth Malladi, Gurdeep S. Hura posted to 2008 constraint-solving invariant protocol security theorem-proving verification by michaelbanks on 2008-12-02 13:13:15 as
	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications [My Copy] Computer Aided Verification (2005), pp. 281-285. by A. Armando, D. Basin, Y. Boichut, et al.Y. Chevalier, L. Compagna, J. Cuellar, Hankes P. Drielsma, P. C. Heám, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, L. Vigneron posted to 2005 automatic avispa protocol security verification by michaelbanks on 2008-12-01 16:23:30 as

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

Result page: 1 2 Next

security	349
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
z	37
1996	37
textbook	35
software	35
programming	34
confidentiality	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
authentication	27
2000	27
introduction	27
software-engineering	26
2002	26
1990	26
automatic	26
mathematics	25
1994	25
cryptography	24
2004	24
1997	23
1992	23
1999	23
1998	22
concurrency	21
probabilistic	19
trace	19
safety	18
access-control	18
1987	18
bell-lapadula	18
development	18
theorem-proving	17
distributed	16
1993	16
circus	16
commercial	16
unwinding	16
algebraic	15
needham-schroeder	15
possibilistic	15
refinement-calculus	14
utp	14
design	14
criticism	14
information	13
testing	13
liveness	13
key	13
integrity	13
1989	12
1988	12
data	12
search	12
alloy	12
ban	11
engineering	11
preserving	11
multi-level	11
maks	11
java	11
fdr	11
requirements	11
bisimulation	11
hacking	11
nondeterministic	10
1991	10
synthesis	10
case-study	10
correctness	10
yahalom	10
haskell	10
ccs	10
event-b	10
strand-space	9
reasoning	9
type-system	9
1981	9
availability	9
public	9
anonymity	9
channels	9
nondeducibility	9
hoare-logic	9
spi-calculus	8
knowledge	8
heuristic	8
dolev-yao	8
temporal	8
category-theory	8
belief	8
operational	8
verified-software-repository	8
constraint-solving	8
privacy	8
comparison	8
simulation	8
1985	8
b-method	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
opinion	7
compiler	7
tagging	7
communication	6
rodin	6
executable	6
type-checking	6
replay	6
history	6
object-z	6
transformation	6
operating-system	6
tutorial	6
roundtable	6
denotational	6
action	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 verification [79 articles] Export

michaelbanks's tags