Languages
Basin, David.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Applied information securitya hands-on approach /
by:
Basin, David.; Schaller, Patrick.; Schlapfer, Michael.; SpringerLink (Online service)
(Electronic resources)
Automated reasoningsecond international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(1998 :); Basin, David.; Rusinowitsch, Michael.; SpringerLink (Online service)
(Electronic resources)
Theorem proving in higher order logics16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
by:
(1998 :); Basin, David.; SpringerLink (Online service); Wolff, Burkhart, (1962-)
(Electronic resources)
Subjects
Computer security.
Data Structures, Cryptology and Information Theory.
Automatic theorem proving
Data protection.
Management of Computing and Information Systems.
Computer logic
Data encryption (Computer science)
Business Information Systems.
Computer networks
Computer Science.
Systems and Data Security.
Innovation/Technology Management.