Hybrid Session Verification through Endpoint API Generation

© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP

A Practical Study of E-mail Communication through SMTP

Simple Mail Transfer Protocol (SMTP) is an application layer protocol for e-mail communication. It has been adopted as a standard by Internet Engineering Task Force (IETF). SMTP has set conversational and grammatical rules for exchanging messages between connected computers. It has evolved through several revisions and extensions since its formation by Jon Postel in 1981. In SMTP, the sender establishes a full-duplex transmission channel with a receiver. The receiver may be either the ultimate destination or an intermediate forwarding agent. SMTP commands are issued by the sender and are sent to the receiver, which responds to these commands through codes. Each SMTP session between the sender and the receiver consists of three phases namely: connection establishment, mail transactions and connection termination. This paper describes and illustrates the process of e-mail communication through SMTP by issuing the individual SMTP commands directly to transmit e-mail messages. It also describes individual SMTP commands and extensions with practical implementation using a Telnet client

Design of Hybrid Network Anomalies Detection System (H-NADS) Using IP Gray Space Analysis

In Network Security, there is a major issue to secure the public or private network from abnormal users. It is because each network is made up of users, services and computers with a specific behavior that is also called as heterogeneous system. To detect abnormal users, anomaly detection system (ADS) is used. In this paper, we present a novel and hybrid Anomaly Detection System with the uses of IP gray space analysis and dominant scanning port identification heuristics used to detect various anomalous users with their potential behaviors. This methodology is the combination of both statistical and rule based anomaly detection which detects five types of anomalies with their three types of potential behaviors and generates respective alarm messages to GUI.Network Security, Anomaly Detection, Suspicious Behaviors Detection

Software product description

An overview of the MultiNet system is presented. Services, supported configurations, remote printer services, netstat, netcontrol, DECnet interoperability services, and programming libraries are briefly described

Towards the definition of a quality model for mail servers

The paper presents an approach for building a Mail Server Quality Model, based on the ISO/IEC software quality standard. We start by defining the mail system domain to be used as general framework and the relevant technologies involved. Then a general overview of the ISO/IEC standard is given. The basic steps, the relevant considerations and criteria used to select the appropriated subcharacteristics and quality attributes are also presented. The selected attributes are categorized under the six ISO/IEC quality characteristics conforming the model. Finally some case studies requirements and two commercial mail server tools are used to evaluate the model.Postprint (published version

Evaluation of an Internet Document Delivery Service

An Internet-based Document Delivery Service (DDS) has been developed within the framework of the CNR ( the Italian Research National Council) Project BiblioMIME, in order to take advantage of new Internet technologies and promote cooperation among CNR and Italian university libraries. Adopting such technologies changes the traditional organisation of DDS and may drastically reduce costs and delivery times. An information system managing DDS requests and monitoring the temporal evolution of the service has been implemented, running on the local-area network of a test-site library. It aims to track number and types of documents requested and received, user distribution, delivery times and types (surface mail, fax, Internet), to automate repetitive manual procedures and to deal with the various accounting methods used by other libraries. Transmission of documents is carried out by means of an e-mail/Web gateway system supporting document exchange via Internet, which assists receiving libraries in retrieving requested documents. This paper describes the architecture and main design features of the e-mail/Web gateway server (the BiblioMime server). This approach permits librarians to continue using e-mail service to send large documents, while resolving problems that users may encounter when downloading large size files with e-mail agents. The library operator sends the document as an attachment to the destination address; on fly the e-mail server extracts and saves the attachments in a web-server disk file and substitutes them with a new message part that includes an URL pointing to the saved document. The receiver can download these large objects by means of a user-friendly browser. We further discuss the data gathered during the triennium 1998-2000; this consists of about 5,000 DDS transactions per annum with 300 other Italian scientific and bio-medical libraries and commercial document suppliers. Use of the instruments described above allowed us to evaluate the performance of service “before” and “after” the use of Internet Document Delivery and to extract some critical data regarding DDS. Those include: a) libraries with which we have greater numbers of exchanges and their turnaround times; b) extraordinary reduction in costs and delivery times; c) the most frequently requested serial titles (allowing cost-effective decisions on new subscriptions); d) impact on DDS of library participation in consortia which allow user access to greater numbers of online serials