Search for Author All Reviews
	Jacob, Jeremy L.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       On integrating confidentiality and functionality in a formal method Banks M., Jacob J. Formal Aspects of Computing 26(5): 963-992, 2014.  Type: Article Miracles happen and are now formalized. Moreover, they can exist in formal methods where functionality and confidentiality of systems coexist in efforts to build secure systems by design. Functionality and confidentially have so far be...... Feb 26 2015
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy