The accountability of electronic commerce protocols is an important aspect to insures security of electronic transaction. This paper proposes to use Finite Automaton (FA) model as a new kind of framework to analyze the transaction protocols in the application of electronic commerce.
展开▼
机译:Correction: prospects of implant with locking plate in fixation of subtrochanteric fracture: experimental demonstration of its potential benefits on synthetic femur model with supportive hierarchical nonlinear hyperelastic finite element analysis