Network policies are "traffic regulations" for the networks which make up the Internet. These are necessary for managing the flow of data, for access control to

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in

System administration is about the design, running and maintenance of human-computer systems. Examples of human-computer systems include business enterprises, s

Service and network providers must be able to satisfy the demands for new services, improve the quality of service, reduce the cost of network service operation

In this report a survey of current network policy languages is presented. Next, a summary of the techniques for detecting policy conflicts is given. Finally, a