Basin, David.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Theorem proving in higher order logics = 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Wolff, Burkhart, (1962-); Basin, David.
(Language materials, printed)
The Complete Guide to SCION = From Design Principles to Formal Verification /
by:
Hitz, Samuel.; Hausheer, David.; SpringerLink (Online service); Basin, David.; Legner, Markus.; Perrig, Adrian.; Müller, Peter.; Chuat, Laurent.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
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 /
by:
SpringerLink (Online service); Basin, David.; Mitchell, John C.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
Basin, David.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Rusinowitsch, Michael.
(Language materials, printed)
Applied information security = a hands-on approach /
by:
SpringerLink (Online service); Schaller, Patrick.; Schlapfer, Michael.; Basin, David.
(Language materials, printed)
Subjects
Computer engineering.
Systems and Data Security.
Computer networks .
Innovation/Technology Management.
Data protection.
Data Encryption.
Automatic theorem proving
Computer Communication Networks.
Security Science and Technology.
Computer networks
Cloud Computing.
Computer Science.
Computer Engineering and Networks.
Management of Computing and Information Systems.
Computer logic
Computer security
e-Commerce/e-business.
Security systems.
Data Structures, Cryptology and Information Theory.
Business Information Systems.
Computers.
Data encryption (Computer science)
Computer Hardware.
Data and Information Security.
Computer security.