University of Leicester
Browse

Use of logic to describe enhanced communications services

Download (278.64 kB)
conference contribution
posted on 2012-07-09, 12:26 authored by Stephan Reiff-Marganiec, Kenneth J. Turner
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.

History

Citation

LNCS 2529: Formal Techniques for Networked and Distributed Systems (FORTE 2002). Lecture Notes in Computer Science, 2002, 2529, pp. 130-145

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

22nd International Conference on Formal Techniques for Networked and Distributed Systems, Houston, Texas, 11-14 November 2002.

Version

  • AM (Accepted Manuscript)

Published in

LNCS 2529: Formal Techniques for Networked and Distributed Systems (FORTE 2002). Lecture Notes in Computer Science

Publisher

Springer Verlag

issn

0302-9743

isbn

3-540-00141-7

Copyright date

2002

Available date

2015-08-12

Publisher version

http://www.springerlink.com/content/dv5e4n0u0x0p/?MUD=MP

Editors

Peled, Doron A.;Vardi, Moshe Y.

Temporal coverage: start date

2002-11-11

Temporal coverage: end date

2002-11-14

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC