Commission) Interim document reporting on any specific development carried out and performed test... more Commission) Interim document reporting on any specific development carried out and performed tests of tools and management applications. Keywords: network management, network monitoring, developmentIST-2000-32603
We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automat... more We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorithm uses ideas from an algorithm presented in [5], but is considerably simpler and at the same time more structured and rigorous. We specify the assumptions and behavior of our algorithm as traces of Timed Input/Output Automata, and prove its correctness using this formalism. Our algorithm is based on a composition of independent subalgorithms solving variants of the classical leader election and shared register problems in distributed computing. The modularity of our algorithm facilitates its understanding and analysis, and can also aid in optimizing the algorithm or proving lower bounds. Our work demonstrates that formal methods can be feasibly applied to complex real-world problems to improve and simplify their solutions.
[Proceedings] 1988 IEEE Workshop on Visual Languages, 1988
... Thus, we have de-signed VIP as a collection of simple iools, which can be interconnected into... more ... Thus, we have de-signed VIP as a collection of simple iools, which can be interconnected into more complex interface systems. As an example of our tool-based design strategy, consider the dis-play of a truck in an interface screen. ...
A new Request for Comments is now available in online RFC libraries. RFC 3118 Title: Authenticati... more A new Request for Comments is now available in online RFC libraries. RFC 3118 Title: Authentication for DHCP Messages Author(s): R. Droms, Editor, W. Arbaugh, Editor Status: Standards Track Date: June 2001 Mailbox: [email protected], ...
... Ramesh Vyaghrapuri and Burcak Beser. Thanks to Ted Lemon, Steve Gonczi, Kim Kinnear, Bernie V... more ... Ramesh Vyaghrapuri and Burcak Beser. Thanks to Ted Lemon, Steve Gonczi, Kim Kinnear, Bernie Volz, Richard Jones, Barr Hibbs and Thomas Narten for their comments and suggestions. 9. Authors' Addresses Glenn Stump ...
... This corresponds to moving to BOUND state in the client state transition diagram shown in fig... more ... This corresponds to moving to BOUND state in the client state transition diagram shown in figure 5. 4. The client may choose to relinquish its lease on a network address by sending a DHCPRELEASE message to the server. ...
2010 International Conference on Network and Service Management, 2010
Over the last decade, IPv6 has established itself as the most mature network protocol for the fut... more Over the last decade, IPv6 has established itself as the most mature network protocol for the future Internet. Its recent deployment in core networks of operators, its availability to end customers of multiple ISPs together with the availability of native access to large services like Google assess the increasing penetration of IPv6.
The Tilde naming system identifres files in a distributed computing system in a novel way, provid... more The Tilde naming system identifres files in a distributed computing system in a novel way, providing a consistent mechanism for referenc- ing both local and remote files that is independent of the details of the underlying computing environ- ment. The Tilde naming system achieves this independence by providing each user with control of a private name evaluation environment. In con-
Proceedings of the 2nd workshop on Making distributed systems work - EW 2, 1986
ABSTRACT In this project we study the parallel execution of programs on a collection of workstati... more ABSTRACT In this project we study the parallel execution of programs on a collection of workstations connected by a local area network. So far, our work has focused on developing a number of pilot applications. We intend to use these applications as an experimental ...
Service request mechanisms in distributed systems have developed from a connectionbased paradigm,... more Service request mechanisms in distributed systems have developed from a connectionbased paradigm, in which users specify services by naming the hardware by which the service is to be rendered. Implicit in this form of naming is the specification of the characteristics of the desired service. In other words, names of physical devices have been overloaded with the specification of type of service that the hardware offers. This overloading is undesirable, because it forces users to be aware of the implicit connection between hardware name and type of service. and because it binds services to particular hardware very early in the service execution process. We present an example of connection-based overloading (based on the 4.2BSD UNIX printer queue utilities Ipr,lpq, and Iprm). and propose a service-oriented naming mechanism.
Performance measurements of the X window system communication protocol
Software: Practice and Experience, 1990
Page 1. SOFTWARE-PRACTICE AND EXPERIENCE. VOL. 21)(S2). S2/119-S2/136 (OCTOBER 1990) Performance ... more Page 1. SOFTWARE-PRACTICE AND EXPERIENCE. VOL. 21)(S2). S2/119-S2/136 (OCTOBER 1990) Performance Measurements of the X Window System Communication Protocol* RALPH DROMS Bucknell University, Lewisburg, PA, I7837, US A. AND ...
IPv6 is an essential building block of the evolution towards the future Internet. To take the ful... more IPv6 is an essential building block of the evolution towards the future Internet. To take the full benefit of this protocol and exploit all its features, the future Internet needs to gracefully couple it with autonomics. In this paper we demonstrate through our experience with network renumbering how the coupling of both IPv6 core functionality extended with major functions of the autonomic world can lead to fully autonomous activities of main management functions. We instantiate the notions of self-configuration, self-monitoring, selfprotection and self-healing in the network renumbering process and show how they can altogether make renumbering a real success. We illustrate the various functions with the tools we implemented to support them over the last three years.
A wide variety of services address various components of the resource discovery and location prob... more A wide variety of services address various components of the resource discovery and location problem. These services can be loosely classified as either low-level protocols or high-level services. Low-level protocols, such as ...
Library of Congress Cataloging-in Publication Data on File. Editorial Director, Computer Science ... more Library of Congress Cataloging-in Publication Data on File. Editorial Director, Computer Science and Engineering: Marcia J. Horton Editorial Assistant: Melinda Haggerty Director of Marketing: Margaret Whaples Marketing Manager: Christopher Kelly Associate Editor: ...
This paper describes the naming scheme and a prototype implementation. It discusses alternative d... more This paper describes the naming scheme and a prototype implementation. It discusses alternative designs and compromises imposed by the limitations of a single-processor UNIX environment, as well as the impact of using the Tilde environment for tasks such as ...
2009 Eighth IEEE International Symposium on Network Computing and Applications, 2009
The Virtual Node Layer (VNLayer) is a programming abstraction for Mobile Ad Hoc Networks (MANETs)... more The Virtual Node Layer (VNLayer) is a programming abstraction for Mobile Ad Hoc Networks (MANETs). It defines simple virtual servers at fixed locations in a network, addressing a central problem for MANETs, which is the absence of fixed infrastructure. Advantages of this abstraction are that persistent state is maintained in each region, even when mobile nodes move or fail, and that simple wireline protocols can be deployed on the infrastructure, thereby taming the difficulties inherent in MANET setting. The major disadvantage is the messaging overhead for maintaining the persistent state.
Commission) Interim document reporting on any specific development carried out and performed test... more Commission) Interim document reporting on any specific development carried out and performed tests of tools and management applications. Keywords: network management, network monitoring, developmentIST-2000-32603
We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automat... more We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorithm uses ideas from an algorithm presented in [5], but is considerably simpler and at the same time more structured and rigorous. We specify the assumptions and behavior of our algorithm as traces of Timed Input/Output Automata, and prove its correctness using this formalism. Our algorithm is based on a composition of independent subalgorithms solving variants of the classical leader election and shared register problems in distributed computing. The modularity of our algorithm facilitates its understanding and analysis, and can also aid in optimizing the algorithm or proving lower bounds. Our work demonstrates that formal methods can be feasibly applied to complex real-world problems to improve and simplify their solutions.
[Proceedings] 1988 IEEE Workshop on Visual Languages, 1988
... Thus, we have de-signed VIP as a collection of simple iools, which can be interconnected into... more ... Thus, we have de-signed VIP as a collection of simple iools, which can be interconnected into more complex interface systems. As an example of our tool-based design strategy, consider the dis-play of a truck in an interface screen. ...
A new Request for Comments is now available in online RFC libraries. RFC 3118 Title: Authenticati... more A new Request for Comments is now available in online RFC libraries. RFC 3118 Title: Authentication for DHCP Messages Author(s): R. Droms, Editor, W. Arbaugh, Editor Status: Standards Track Date: June 2001 Mailbox: [email protected], ...
... Ramesh Vyaghrapuri and Burcak Beser. Thanks to Ted Lemon, Steve Gonczi, Kim Kinnear, Bernie V... more ... Ramesh Vyaghrapuri and Burcak Beser. Thanks to Ted Lemon, Steve Gonczi, Kim Kinnear, Bernie Volz, Richard Jones, Barr Hibbs and Thomas Narten for their comments and suggestions. 9. Authors' Addresses Glenn Stump ...
... This corresponds to moving to BOUND state in the client state transition diagram shown in fig... more ... This corresponds to moving to BOUND state in the client state transition diagram shown in figure 5. 4. The client may choose to relinquish its lease on a network address by sending a DHCPRELEASE message to the server. ...
2010 International Conference on Network and Service Management, 2010
Over the last decade, IPv6 has established itself as the most mature network protocol for the fut... more Over the last decade, IPv6 has established itself as the most mature network protocol for the future Internet. Its recent deployment in core networks of operators, its availability to end customers of multiple ISPs together with the availability of native access to large services like Google assess the increasing penetration of IPv6.
The Tilde naming system identifres files in a distributed computing system in a novel way, provid... more The Tilde naming system identifres files in a distributed computing system in a novel way, providing a consistent mechanism for referenc- ing both local and remote files that is independent of the details of the underlying computing environ- ment. The Tilde naming system achieves this independence by providing each user with control of a private name evaluation environment. In con-
Proceedings of the 2nd workshop on Making distributed systems work - EW 2, 1986
ABSTRACT In this project we study the parallel execution of programs on a collection of workstati... more ABSTRACT In this project we study the parallel execution of programs on a collection of workstations connected by a local area network. So far, our work has focused on developing a number of pilot applications. We intend to use these applications as an experimental ...
Service request mechanisms in distributed systems have developed from a connectionbased paradigm,... more Service request mechanisms in distributed systems have developed from a connectionbased paradigm, in which users specify services by naming the hardware by which the service is to be rendered. Implicit in this form of naming is the specification of the characteristics of the desired service. In other words, names of physical devices have been overloaded with the specification of type of service that the hardware offers. This overloading is undesirable, because it forces users to be aware of the implicit connection between hardware name and type of service. and because it binds services to particular hardware very early in the service execution process. We present an example of connection-based overloading (based on the 4.2BSD UNIX printer queue utilities Ipr,lpq, and Iprm). and propose a service-oriented naming mechanism.
Performance measurements of the X window system communication protocol
Software: Practice and Experience, 1990
Page 1. SOFTWARE-PRACTICE AND EXPERIENCE. VOL. 21)(S2). S2/119-S2/136 (OCTOBER 1990) Performance ... more Page 1. SOFTWARE-PRACTICE AND EXPERIENCE. VOL. 21)(S2). S2/119-S2/136 (OCTOBER 1990) Performance Measurements of the X Window System Communication Protocol* RALPH DROMS Bucknell University, Lewisburg, PA, I7837, US A. AND ...
IPv6 is an essential building block of the evolution towards the future Internet. To take the ful... more IPv6 is an essential building block of the evolution towards the future Internet. To take the full benefit of this protocol and exploit all its features, the future Internet needs to gracefully couple it with autonomics. In this paper we demonstrate through our experience with network renumbering how the coupling of both IPv6 core functionality extended with major functions of the autonomic world can lead to fully autonomous activities of main management functions. We instantiate the notions of self-configuration, self-monitoring, selfprotection and self-healing in the network renumbering process and show how they can altogether make renumbering a real success. We illustrate the various functions with the tools we implemented to support them over the last three years.
A wide variety of services address various components of the resource discovery and location prob... more A wide variety of services address various components of the resource discovery and location problem. These services can be loosely classified as either low-level protocols or high-level services. Low-level protocols, such as ...
Library of Congress Cataloging-in Publication Data on File. Editorial Director, Computer Science ... more Library of Congress Cataloging-in Publication Data on File. Editorial Director, Computer Science and Engineering: Marcia J. Horton Editorial Assistant: Melinda Haggerty Director of Marketing: Margaret Whaples Marketing Manager: Christopher Kelly Associate Editor: ...
This paper describes the naming scheme and a prototype implementation. It discusses alternative d... more This paper describes the naming scheme and a prototype implementation. It discusses alternative designs and compromises imposed by the limitations of a single-processor UNIX environment, as well as the impact of using the Tilde environment for tasks such as ...
2009 Eighth IEEE International Symposium on Network Computing and Applications, 2009
The Virtual Node Layer (VNLayer) is a programming abstraction for Mobile Ad Hoc Networks (MANETs)... more The Virtual Node Layer (VNLayer) is a programming abstraction for Mobile Ad Hoc Networks (MANETs). It defines simple virtual servers at fixed locations in a network, addressing a central problem for MANETs, which is the absence of fixed infrastructure. Advantages of this abstraction are that persistent state is maintained in each region, even when mobile nodes move or fail, and that simple wireline protocols can be deployed on the infrastructure, thereby taming the difficulties inherent in MANET setting. The major disadvantage is the messaging overhead for maintaining the persistent state.
Uploads
Papers by Ralph Droms