Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol
Journal Title: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY - Year 2013, Vol 12, Issue 2
Abstract
In this paper, we develop a sound Conformance Test Suite for the Transport Layer Protocol Internationally standardized by both ISO and IEC. This is to test the implementations of the protocol, promote and facilitate standardized test suites, and promote the use of formal methods. We use formal methods for the generation of testing sequences to make the results sound. The protocol is formally specified in Lotos; the ISO/IEC Formal Description Technique for computer/communications protocols and distributed systems.
Authors and Affiliations
Hazem Mostafa El-Gendy, Ihab ElSayed Talkhan
Keywords
Related Articles
- EP ID EP650404
- DOI 10.24297/ijct.v12i2.3291
- Views 67
- Downloads 0
Traveling Salesman Problem: A Case Study
In this paper assignment based integer linear formulation presented for solving traveling salesman problem. Unfortunately, the assignment model can lead to infeasible solutions. Infeasibility removes by introducing addit...
Enhanced Tiny Encryption Algorithm with Embedding (ETEA)
As computer systems become more pervasive and complex, security is increasingly important. Secure Transmission refers to the transfer of data such as confidential or proprietary information over a secure channel. Many se...
WEB-BASED PENSION FUND MANAGEMENT SYSTEM
Given the discouraging record of the traditional pension system and the limited coverage of the private-sector pension schemes, there is need for robust web-based pension fundmanagement system that can handle the pension...
Impact of using Infinity-Norm with Initial Radius on Performance and Complexity of SD Algorithm in MIMO systems
 In recent years, the iterative decoding techniques have played a role in improving the performance (e.g., bit error rate) and reducing the complexity of various digital communication systems. Techniques of Multiple-Inp...
A REVIEW ARTICLE OF WATERMARKING
In most of the digital image watermarking schemes, it becomes a common practice to address security in terms of robustness, which is basically a norm in cryptography. Such consideration in developing and evaluation of a...