Basin, David.
Basin, David A. 1961-
Basin, David, 1961-
David Alan Basin
VIAF ID: 42516100 ( Personal )
Permalink: http://viaf.org/viaf/42516100
Preferred Forms
- 100 1 _ ‡a Basin, David
- 100 1 _ ‡a Basin, David
-
- 100 1 _ ‡a Basin, David
-
-
-
- 100 1 _ ‡a Basin, David A. ‡d 1961-
- 100 1 _ ‡a Basin, David ‡d 1961-
-
-
- 100 0 _ ‡a David Alan Basin
4xx's: Alternate Name Forms (3)
5xx's: Related Names (3)
- 510 2 _ ‡a Eidgenössische Technische Hochschule Zürich ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Eidgenössische Technische Hochschule Zürich
- 510 2 _ ‡a TPHOLs 2003 (2003 : Rome, Italy)
Works
Title | Sources |
---|---|
Applied Information Security A Hands-on Approach | |
Automated analysis of equivalence properties for cryptographic protocols. | |
Automated complexity analysis based on ordered resolution | |
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings | |
Beyond the finite in automatic hardware verification | |
The Complete Guide to SCION : From Design Principles to Formal Verification | |
conservative extension of first order logic and its applications to theorem proving | |
Difference unification | |
Experience with FS0 as a framework theory | |
FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03 | |
framework for program development based on schematic proof | |
Labelled deduction, 2000: | |
Labelled propositional modal logics theory and practice | |
Metalogical frameworks | |
Middle out reasoning for logic program synthesis | |
Natural deduction for non-classical logics | |
Les preuves de protocoles cryprographiques revisitées. | |
Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings | |
Proof of security protocols revisited | |
recursion planning analysis of inductive completion | |
Rippling: Meta-Level Guidance for Mathematical Reasoning | |
Termination orderings for rippling | |
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings | |
Vérification efficace d'équivalences observationnelles de processus cryptographiques : théorie et pratique. | |
Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 |