Timed constraint programming: A declarative approach to usage control

Radha Jagadeesan; Will Marrero; Corin Pitcher; Vijay Saraswat

doi:10.1145/1069774.1069790

Timed constraint programming: A declarative approach to usage control

IBM Research

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Pages	164-175
Number of pages	12
DOIs	https://doi.org/10.1145/1069774.1069790
State	Published - 2005
Event	PPDP'05 - 7th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming - Lisbon, Portugal Duration: Jul 11 2005 → Jul 13 2005

Publication series

Name	PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Volume	2005

Conference

Conference	PPDP'05 - 7th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Country/Territory	Portugal
City	Lisbon
Period	7/11/05 → 7/13/05

ASJC Scopus Subject Areas

General Engineering

Keywords

Constraints
Reactive Systems
Role-Based Access Control
Trust Management
Usage Control

Access to Document

10.1145/1069774.1069790

Cite this

Jagadeesan, R., Marrero, W., Pitcher, C., & Saraswat, V. (2005). Timed constraint programming: A declarative approach to usage control. In PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (pp. 164-175). (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming; Vol. 2005). https://doi.org/10.1145/1069774.1069790

Timed constraint programming: A declarative approach to usage control. / Jagadeesan, Radha ; Marrero, Will ; Pitcher, Corin et al.
PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. 2005. p. 164-175 (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming; Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Jagadeesan, R , Marrero, W , Pitcher, C & Saraswat, V 2005, Timed constraint programming: A declarative approach to usage control. in PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, vol. 2005, pp. 164-175, PPDP'05 - 7th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Lisbon, Portugal, 7/11/05. https://doi.org/10.1145/1069774.1069790

Jagadeesan R , Marrero W , Pitcher C, Saraswat V. Timed constraint programming: A declarative approach to usage control. In PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. 2005. p. 164-175. (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming). doi: 10.1145/1069774.1069790

Jagadeesan, Radha ; Marrero, Will ; Pitcher, Corin et al. / Timed constraint programming : A declarative approach to usage control. PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. 2005. pp. 164-175 (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming).

@inproceedings{8508ef37e7094ad8ab0d9dd8dffe4799,

title = "Timed constraint programming: A declarative approach to usage control",

keywords = "Constraints, Reactive Systems, Role-Based Access Control, Trust Management, Usage Control",

author = "Radha Jagadeesan and Will Marrero and Corin Pitcher and Vijay Saraswat",

year = "2005",

doi = "10.1145/1069774.1069790",

language = "English",

isbn = "1595930906",

series = "PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming",

pages = "164--175",

booktitle = "PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming",

note = "PPDP'05 - 7th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming ; Conference date: 11-07-2005 Through 13-07-2005",

}

TY - GEN

T1 - Timed constraint programming

T2 - PPDP'05 - 7th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

AU - Jagadeesan, Radha

AU - Marrero, Will

AU - Pitcher, Corin

AU - Saraswat, Vijay

PY - 2005

Y1 - 2005

KW - Constraints

KW - Reactive Systems

KW - Role-Based Access Control

KW - Trust Management

KW - Usage Control

UR - https://www.scopus.com/pages/publications/33746064509

UR - https://www.scopus.com/pages/publications/33746064509#tab=citedBy

U2 - 10.1145/1069774.1069790

DO - 10.1145/1069774.1069790

M3 - Conference contribution

AN - SCOPUS:33746064509

SN - 1595930906

SN - 9781595930903

T3 - PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

SP - 164

EP - 175

BT - PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Y2 - 11 July 2005 through 13 July 2005

ER -

Timed constraint programming: A declarative approach to usage control

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this