Please use this identifier to cite or link to this item:
Title: Use of logic to describe enhanced communications services
Authors: Reiff-Marganiec, Stephan
Turner, Kenneth J.
First Published: Nov-2002
Presented at: 22nd International Conference on Formal Techniques for Networked and Distributed Systems, Houston, Texas, 11-14 November 2002.
Start Date: 11-Nov-2002
End Date: 14-Nov-2002
Publisher: Springer Verlag
Citation: LNCS 2529: Formal Techniques for Networked and Distributed Systems (FORTE 2002). Lecture Notes in Computer Science, 2002, 2529, pp. 130-145
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.
DOI Link: 10.1007/3-540-36135-9
ISSN: 0302-9743
ISBN: 3-540-00141-7
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © Springer-Verlag Berlin Heidelberg 2002. Deposited with reference to the publisher's archiving policy available on the SHERPA/RoMEO website. The original publication is available at
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
forte2002.pdfPost-review (final submitted)278.64 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.