Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ai-ming ZHANG"'
Publikováno v:
2010 International Conference on E-Product E-Service and E-Entertainment.
Leslie Lampor proposed the theory of Temporal Logic of Actions(TLA),which can express model program and logical rules in one language at the same time. Secure Electronic Transaction(SET) is an secure protocol for e-commerce, Based on the open network