- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Basin, David

Showing 1 - 10 of 10 results

Search Results

Cover image for Rippling

Rippling

by Bundy, Alan
2004
Format: Electronic

Location
Access Content Online

Cover image for The Complete Guide to SCION From Design Principles to Formal Verification

The Complete Guide to SCION From Design Principles to Formal Verification

by Chuat, Laurent
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Theorem proving in higher order logics

Theorem proving in higher order logics

by TPHOLs 2003
2003
Format: Electronic

Location
Access Content Online

Cover image for Applied information security

Applied information security

by Basin, David
2011
Format: Electronic

Location
Access Content Online

Cover image for FMSE '03

FMSE '03

by Backes, Michael
2003
Format: Electronic

Location
Access Content Online

Cover image for Automated reasoning

Automated reasoning

by IJCAR 2004
2004
Format: Electronic

Location
Access Content Online

Cover image for Principles of security and trust

Principles of security and trust

by POST 2013
2013
Format: Electronic

Location
Access Content Online

Cover image for Modeling and Analyzing Security Protocols with Tamarin A Comprehensive Guide

Modeling and Analyzing Security Protocols with Tamarin A Comprehensive Guide

by Basin, David
2026
1st ed. 2026
Format: Electronic

Location
Access Content Online

Cover image for Theorem proving in higher order logics

Theorem proving in higher order logics

by TPHOLs
2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 T655 2003	✔ Available

Cover image for Automated reasoning

Automated reasoning

by IJCAR 2001
2004
Format: Electronic

Location
Access Content Online