Conference Proceeding

Use of Logic to describe Enhanced Communications Services

Details

Citation

Reiff-Marganiec S & Turner KJ (2002) Use of Logic to describe Enhanced Communications Services. In: Peled DA & Vardi MY (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 2002 Proceedings. Lecture Notes in Computer Science, 2529. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer-Verlag, pp. 130-145. http://www.springerlink.com; https://doi.org/10.1007/3-540-36135-9

Abstract
New functionality is added to telecommunications systems in the form of features or services. However, this is a very provider-centric approach, not giving much control to the user. We consider a logic that allows the user to express preferences as to how they wish calls to be handled. This logic is encapsulated in a user-friendly policy description language. The transferability of a policy description language (Ponder) developed for system management and access control is discussed.

Keywords
Enhanced Communications Services; Policies; Policy Description Language; Ponder; SIP

StatusPublished
Title of seriesLecture Notes in Computer Science
Number in series2529
Publication date30/11/2002
Publication date online30/11/2002
URLhttp://hdl.handle.net/1893/486
PublisherSpringer-Verlag
Publisher URLhttp://www.springerlink.com
Place of publicationBerlin
ISBN978-3-540-00141-6
Conference22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002
Conference locationHouston, Texas
Dates

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science