Search for Author All Reviews
	Ogata, Kazuhiro     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       From hidden to visible Zhang M., Ogata K. Theoretical Computer Science 722(C): 52-75, 2018.  Type: Article Algebraic specification is a technique in which a system is modeled by equations or conditional equations. This approach was originally used for defining data types and operations on them. An added benefit is that the equational system...... Oct 12 2018     Equational approach to formal verification of SET Ogata K., Futatsugi K.  Quality software (Proceedings of the Fourth International Conference on Quality Software (QSIC’04),Sep 8-Sep 10, 2004) 50-59, 2004.  Type: Proceedings The secure electronic transaction (SET) standard specifies a sophisticated protocol, aimed at securing e-commerce transactions. It improves on secure sockets layer (SSL), which merely focuses on preventing eavesdropping, by focusing on...... May 11 2005
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy