Search for Author All Reviews
	Basin, David     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 5 reviews        Applied information security: a hands-on approach Basin D., Schaller P., Schläpfer M., Springer Publishing Company, Incorporated, New York, NY, 2011. 216 pp.  Type: Book (978-3-642244-73-5) Information security failures usually get lots of attention. Some organization or Web site gets attacked, and hundreds of thousands of passwords or a spreadsheet full of sensitive user information gets released. Or the information fall...... Aug 31 2012     Cryptographically sound theorem proving Sprenger C., Backes M., Basin D., Pfitzmann B., Waidner M.  Computer security foundations (Proceedings of the 19th IEEE Workshop on Computer Security Foundations,Jul 5-Jul 7, 2006) 153-166, 2006.  Type: Proceedings The Backes-Pfitzmann-Waidner (BPW) model of cryptographic protocols is a comprehensive set of cryptographic operations that allows one to prove the security of cryptographic protocols, built on these operations, by means of symbolic re...... Jan 25 2007     Model driven security: from UML models to access control infrastructures Basin D., Doser J., Lodderstedt T. ACM Transactions on Software Engineering and Methodology 15(1): 39-91, 2006.  Type: Article Are you tired of the lengthy encoding of your access control policies in your favorite realization technology? If so, the work presented in this paper may be very interesting to you. The authors demonstrate the benefits of the model-dr...... Jul 5 2006     Rippling: meta-level guidance for mathematical reasoning Bundy A., Basin D., Hutter D., Cambridge University Press, New York, NY, 2005. 216 pp.  Type: Book (9780521834490) Twenty-three centuries ago, Aristotle had already conceived the notion that logic was a useful tool, not only for finding out scientific principles, but also for discovering new truths (as well as for justifying those already attained)...... May 12 2006     A higher-order interpretation of deductive tableau Ayari A., Basin D. Journal of Symbolic Computation 31(5): 487-520, 2001.  Type: Article The Deductive Tableau (DT) is a system for synthesizing functional programs. It is based on a two-dimensional tabular structure for reasoning about first-order formulae. Section 2 describes the structure of the tableaux and the steps t...... Mar 1 2002
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy