We report on the verification of a multi-party contract signing protocol described by Baum-Waidner and Waidner (BW). Based on Paulson's inductive approach, we give the protocol model that includes infinitely many s...We report on the verification of a multi-party contract signing protocol described by Baum-Waidner and Waidner (BW). Based on Paulson's inductive approach, we give the protocol model that includes infinitely many signatories and contract texts signing simuhaneously. We consider composite attacks of the dishonest signatory and the external intruder, formalize cryptographic primitives and protocol arithmetic including attack model, show formal description of key distribution, and prove signature key secrecy theorems and fairness property theorems of the BW protocol using the interactive theorem prover Isabelle/HOL.展开更多
By introducing reciprocal borrowers and lenders,positive social capital formed by reciprocal expectations can ease financing constraints.Information asymmetry has a significant impact on the relationship between recip...By introducing reciprocal borrowers and lenders,positive social capital formed by reciprocal expectations can ease financing constraints.Information asymmetry has a significant impact on the relationship between reciprocal expectations and financing constraints.Lack of reciprocal expectation is a necessary condition for government intervention.The role of government is to promote the formation and growth of positive social capital,reduce negative social capital,activate favorable reference dependence and avoid adverse reference dependence.Specific measures are:direct investment,subsidy/taxation,administrative orders,alleviation of information asymmetry in financial markets and moral education.Policy Suggestions:the government should pay attention to fostering reciprocal expectations.The development of Inclusive Finance mainly depends on market forces.An important part of it is the government lender who plays an active role in activating the favorable reference dependence.The government should alleviate the information asymmetry in financial markets,reduces the formation of negative social capital,and pays attention to the two sides and limitation of moral education.展开更多
基金Supported by the National Natural Science Foun-dation of China (60373068)
文摘We report on the verification of a multi-party contract signing protocol described by Baum-Waidner and Waidner (BW). Based on Paulson's inductive approach, we give the protocol model that includes infinitely many signatories and contract texts signing simuhaneously. We consider composite attacks of the dishonest signatory and the external intruder, formalize cryptographic primitives and protocol arithmetic including attack model, show formal description of key distribution, and prove signature key secrecy theorems and fairness property theorems of the BW protocol using the interactive theorem prover Isabelle/HOL.
文摘By introducing reciprocal borrowers and lenders,positive social capital formed by reciprocal expectations can ease financing constraints.Information asymmetry has a significant impact on the relationship between reciprocal expectations and financing constraints.Lack of reciprocal expectation is a necessary condition for government intervention.The role of government is to promote the formation and growth of positive social capital,reduce negative social capital,activate favorable reference dependence and avoid adverse reference dependence.Specific measures are:direct investment,subsidy/taxation,administrative orders,alleviation of information asymmetry in financial markets and moral education.Policy Suggestions:the government should pay attention to fostering reciprocal expectations.The development of Inclusive Finance mainly depends on market forces.An important part of it is the government lender who plays an active role in activating the favorable reference dependence.The government should alleviate the information asymmetry in financial markets,reduces the formation of negative social capital,and pays attention to the two sides and limitation of moral education.