الفهرس يوجد فقط 14 صفحة متاحة للعرض العام
 |  | from | 240 |  |  |
| | | from | 240 | | |
المستخلص
تهدف الرسالة إلى تطبيق صياغةرسمية لبرتكولات التجارة الإلكترونيةبهدف التحقق من بروتوكولات التجارة الإلكترونية ولذلك فقد تم اقتراح نظام قائم على مفهوم العملاءلانجاز مهمة التحقق تم اقتراح صياغة رسمية جديدة مبنبة على CSP وهى لغة ذات أساس نظرى ولها العديد من الدلالات المتكافئة وهى مناسبة جدا لهذا الغرض حيث أنها لغة متزامنة وبها العديد من المؤثرات تتكون الصياغة الرسمية المقترحة من سلسلة من العملاء تتكون هذه السلسلة من أربعة عملاء محول معرب لغوى منتج الدلالة ومقارن المحول هو المسؤول عن تحويل البروتوكول إلى لغة CSP.