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.展开更多
Labor Contract Law receives mixed evaluations since its implementation.The call for the amendment is hot and even some scholars regard it as the"tiger in the road"which hinders the economic development. The ...Labor Contract Law receives mixed evaluations since its implementation.The call for the amendment is hot and even some scholars regard it as the"tiger in the road"which hinders the economic development. The Central Committee of the Communist Party of China pays high attention to the construction of harmonious labor relation and the amendment has been a top priority. Labor Contract Law leads to two"deadlocks"of which the entrepreneurs are afraid. The first one is that the non-fixed term labor contract cannot be cancelled and the second one is that they must pay the economic compensation at the expiration of contract. These two rules hinder the employment enthusiasm of entrepreneurs. The current laws have excessive expectation for the non-fixed term labor contract and too strict regulations; as for the economic compensation at the expiration of contract, it increases the enterprise cost. The amendment of these two articles will benefit the recovery of Chinese economy and make the labor relation more harmonious.展开更多
基金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.
基金Projects of the National Social Science Foundation of China“research on the response of the labor standard under new normal for the group hostility between capital and labor”(15BGL184)
文摘Labor Contract Law receives mixed evaluations since its implementation.The call for the amendment is hot and even some scholars regard it as the"tiger in the road"which hinders the economic development. The Central Committee of the Communist Party of China pays high attention to the construction of harmonious labor relation and the amendment has been a top priority. Labor Contract Law leads to two"deadlocks"of which the entrepreneurs are afraid. The first one is that the non-fixed term labor contract cannot be cancelled and the second one is that they must pay the economic compensation at the expiration of contract. These two rules hinder the employment enthusiasm of entrepreneurs. The current laws have excessive expectation for the non-fixed term labor contract and too strict regulations; as for the economic compensation at the expiration of contract, it increases the enterprise cost. The amendment of these two articles will benefit the recovery of Chinese economy and make the labor relation more harmonious.
