東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Control and assurance services for e...

Wang, Wenli.

Linked to FindBook

Google Book

Amazon

博客來

Control and assurance services for electronic commerce.

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Control and assurance services for electronic commerce./
Author:	Wang, Wenli.
Description:	107 p.
Notes:	Source: Dissertation Abstracts International, Volume: 61-11, Section: A, page: 4462.
Contained By:	Dissertation Abstracts International61-11A.
Subject:	Business Administration, Accounting. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=9992934
ISBN:	0493013105

Control and assurance services for electronic commerce.
Wang, Wenli.

Control and assurance services for electronic commerce. - 107 p.

Source: Dissertation Abstracts International, Volume: 61-11, Section: A, page: 4462.

Thesis (Ph.D.)--The University of Texas at Austin, 2000.

Auditors, as traditional trust providers for financial markets, have great potential to provide control and assurance services for electronic commerce, but they need to equip themselves with the new set of methods.

ISBN: 0493013105Subjects--Topical Terms:

1020666
Business Administration, Accounting.

Control and assurance services for electronic commerce.
LDR:03422nam 2200337 a 45 001 938640
005 20110512
008 110512s2000 eng d
020 $a 0493013105
035 $a (UnM)AAI9992934
035 $a AAI9992934
040 $a UnM $c UnM
100 1 $a Wang, Wenli. $3 1262615
245 1 0 $a Control and assurance services for electronic commerce.
300 $a 107 p.
500 $a Source: Dissertation Abstracts International, Volume: 61-11, Section: A, page: 4462.
500 $a Supervisors: Andrew B. Whinston; Anitesh Barua.
502 $a Thesis (Ph.D.)--The University of Texas at Austin, 2000.
520 $a Auditors, as traditional trust providers for financial markets, have great potential to provide control and assurance services for electronic commerce, but they need to equip themselves with the new set of methods.
520 $a The new yet ubiquitous Internet computing technology and consequently the blossoming of electronic commerce is changing the way markets and businesses operate. Digital processes have become the brains and nerves of an e-business and their proper function is crucial for the business' economic well-being. There is a growing need for rigorous methods to verify digital process design and implementation.
520 $a This dissertation suggests that due to the complexity and specialties of digital operations, the only viable approach for systematic control and assurance is to use rigorous mathematical and computational methods to represent and analyze operational systems. Traditional control and auditing methods, mostly based on manual verification, piece-meal analysis and post-audits, are useful but not sufficient. A set of methods is proposed: (1) Applying economic reasoning, such as mechanism design, to ensure that e-commerce market trading rules and business policies are incentive compatible and lead to the expected system outcome; (2) Applying the concept of atomic transaction to define system properties and specifications; (3) Applying modern formal verification techniques, such as model checking, to ensure the correctness of system design and implementation at the code level; and (4) Applying distributed computing agent technology, such as Java, to ensure the correctness of system operations in real execution. Different methods are applied in different phases of the System Development Life Cycle. However, these methods complement each other, refining system specifications and implementation and enhancing the relevance, completeness and reliability of control and assurance.
520 $a Suggested methods are demonstrated through examples. For instance, to deal with one of the weaknesses in online auction markets, i.e., the lack of authentication, a Sealed-bid Multi-round Auction Protocol (S-MAP) is introduced, which is not only robust against false-name bidding but also efficient. An online ticket-sales prototype is implemented and model checking is applied to verify its correctness. A model of a Real-time Assurance Monitor (RAM) is suggested to monitor system executions.
590 $a School code: 0227.
650 4 $a Business Administration, Accounting. $3 1020666
650 4 $a Business Administration, Management. $3 626628
650 4 $a Economics, Commerce-Business. $3 626649
690 $a 0272
690 $a 0454
690 $a 0505
710 2 0 $a The University of Texas at Austin. $3 718984
773 0 $t Dissertation Abstracts International $g 61-11A.
790 $a 0227
790 1 0 $a Barua, Anitesh, $e advisor
790 1 0 $a Whinston, Andrew B., $e advisor
791 $a Ph.D.
792 $a 2000
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=9992934