«protocols»
۳۲۰٬۱۱۲ نتیجهExperience with Applying Formal Methods to Protocol Specification and System Architecture
In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel’s processor families. In this paper we give an overview of some of
“An Internet Protocol Testing Framework” ipTF
As the Internet expands and proliferates it gives rise to new technologies that require supporting Internet protocols. Some recent examples include HTTP, POP, IMAP and IIOP. Internet applications are generally based on a client server model. This results in protocols being develo
The Importance of Sliding Window Protocol Generalisation in a Communication Protocols Course
⎯ All modern communication systems rely on the correct operation of communication protocols that are running in different layers of protocol stacks. Hence, a deep knowledge and understanding of them must be possessed by all communications engineers. Therefore, a basic communicati
Communication Infrastructures and Protocols for Mobile Agent
Mobile agent is an emerging technology that will greatly extend the existing distributed computing mechanisms on computer network. It is evolutionarily being developed on the basis of existing transport and network level protocols within the OSI network model, to achieve autonomy
Creating Eecient Fail-stop Cryptographic Protocols
Fail-stop cryptographic protocols are characterized by the property that they terminate when an active attack is detected, rather than releasing information valuable to the attacker. Since such a construction forces attacks (other than denial-of-service) to be passive, the protoc
Managing Complexity of Designing Routing Protocols Using a Middleware Approach
Designing and architecting new routing protocols is an expensive task, because they are complex systems managing distributed network state, in order to create and maintain the routing databases. Existing routing protocol implementations are compact, bundling together a database,
Simple Representative Instantiations for Multicast Protocols
We present a formal model for multicast network protocols working on arbitrary tree structures. We give sufficient conditions under which correctness of the protocol for all structures reduces to correctness for the structures with at most one layer of internal nodes. If addition
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspects in a uniform way based on combinatorial optimisation techniques. BAN logic is viewed as both a spe
Rationale for the Structure of the Model and Protocol for the Internet Printing Protocol
This document is one of a set of documents, which together describe all aspects of a new Internet Printing Protocol (IPP). IPP is an application level protocol that can be used for distributed printing using Internet tools and technologies. This document describes IPP from a high
A Novel Multicast Routing Protocol for Mobile Ad Hoc Networks
In mobile ad hoc networks, how to achieve the multicast communication is a challenging task due to the fact that the topology may change frequently and communication links may be broken because of users’ mobility. We introduced MANHSI (Multicast for Ad hoe Network with hybrid Swa