|
Title:
|
MAN E-COMMERCE ARCHITECTURE FOR SECURE TRANSACTIONS |
|
Author(s):
|
Vasu Alagar , Kaiyu Wan |
|
ISBN:
|
972-98947-8-7 |
|
Editors:
|
Nitya Karmakar and Pedro Isaías |
|
Year:
|
2004 |
|
Edition:
|
Single |
|
Keywords:
|
ECommerce Architecture, Security Model, Agent Communication Language, Intensional Programming language. |
|
Type:
|
Oral Presentation - 30 minutes |
|
First Page:
|
213 |
|
Last Page:
|
220 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
The full potential of E-Commerce systems can be realized only when the security and dependability of transactions are ensured to the end users. Ad-hoc development methods cannot be analyzed for the satisfaction of either security or dependability. The architecture discussed in this paper is based on rigorous design principles, and is supported by a high-level language for describing the system structure, communication, and security mechanisms. The goal is to analyze the design using the verification rules of the language, before the system is implemented and deployed. |
|
|
|
|
|
|
