1. Home
  2. Proceedings
  3. POLICY
  4. POLICY 2008
Default Cover Image

Policies for Distributed Systems and Networks, IEEE International Workshop on

June 2 2008 to June 4 2008

ISBN: 978-0-7695-3133-5

Table of Contents

Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Technical Program CommitteeFreely available from IEEE.pp. xi
External reviewersFreely available from IEEE.pp. xii-xii
Papers
Table of contentsFreely available from IEEE.pp. v-viii
Papers
[Publisher's information]Freely available from IEEE.pp. 252
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
PrefaceFreely available from IEEE.pp. ix
Papers
Organizing CommitteeFreely available from IEEE.pp. x
Papers
Systematic Policy Analysis for High-Assurance Services in SELinuxFull-text access may be available. Sign in or learn about subscription options.pp. 3-10
by Gail-Joon Ahn, Wenjuan Xu, Xinwen Zhang
Papers
Comparing Rule-Based PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 11-18
by P.A. Bonatti, F. Mogavero
Papers
QoS Policy Modeling and Conflict AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 19-26
by Taghrid Samak, Ehab Al-Shaer, Hong Li
Papers
C2: The Case for a Network Configuration Checking LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 29-36
by Jorge Lobo, Vasileios Pappas
Papers
Policies for the Management of Ambient Networks: From Theory to PracticeFull-text access may be available. Sign in or learn about subscription options.pp. 37-45
by Ramide Dantas, Joseane Fidalgo, Djamel Sadok, Carlos Kamienski, B?rje Ohlman
Papers
Policy Validation for System Automation: A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 46-53
by Emmanuel Zarpas, Cindy Eisner, Sivan Tal
Papers
Using Dependency Tracking to Provide Explanations for Policy ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 54-61
by Lalana Kagal, Chris Hanson, Daniel Weitzner
Papers
Towards the Visualisation of Collaborative Policy DecompositionFull-text access may be available. Sign in or learn about subscription options.pp. 65-69
by John Keeney, Owen Conlan, Declan O?Sullivan, David Lewis, Vincent Wade
An Information Model and Architecture for Context-Aware Management DomainsFull-text access may be available. Sign in or learn about subscription options.pp. 162-169
by Ricardo Neisse, Patrícia Dockhorn Costa, Maarten Wegdam, Marten van Sinderen
Papers
A Transformational Approach to Facilitate Monitoring of High-Level PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 70-73
by Fredrik Seehusen, Ketil St?
Papers
An Algebra for Integration and Analysis of Ponder2 PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 74-77
by Hang Zhao, Jorge Lobo, Steven M. Bellovin
Papers
Geometric Interpretation of Policy SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 78-81
by Cataldo Basile, Alberto Cappadonia, Antonio Lioy
Papers
Using an Information Model and Associated Ontology for Selection of Policies for Conflict AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 82-85
by Steven Davy, Brendan Jennings, John Strassner
Papers
Automatic Compliance of Privacy Policies in Federated Digital Identity ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 89-92
by Anna Squicciarini, Marco Casassa Mont, Abhilasha Bhargav-Spantzel, Elisa Bertino
Papers
PEP = Point to Enhance ParticularlyFull-text access may be available. Sign in or learn about subscription options.pp. 93-96
by Romain Laborde, Michel Kamel, Fran?ois Barr?re, Abdelmalek Benzekri
Papers
Design Patterns for Policy-Based Service EngagementsFull-text access may be available. Sign in or learn about subscription options.pp. 97-100
by Yathiraj B. Udupi, Munindar P. Singh
Papers
Model-Driven Engineering of a General Policy Modeling LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 101-104
by Nima Kaviani, Dragan Ga?evic, Milan Milanovic, Marek Hatala, Bardia Mohabbati
Papers
PBNM Technology Evaluation: Practical CriteriaFull-text access may be available. Sign in or learn about subscription options.pp. 105-108
by Alexander Poylisher, Ritu Chadha
Papers
Concurrent Enforcement of Usage Control PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 111-118
by Helge Janicke, Antonio Cau, Fran?ois Siewe, Hussein Zedan
Papers
Compile-Time Enforcement of Dynamic Security PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 119-126
by David M. Eyers, Sriram Srinivasan, Ken Moody, Jean Bacon
Papers
Policy Specification and Enforcement for Smart ID Cards DeploymentFull-text access may be available. Sign in or learn about subscription options.pp. 127-134
by Ramaswamy Chandramouli
Papers
Policy-Based Information Sharing in Publish/Subscribe MiddlewareFull-text access may be available. Sign in or learn about subscription options.pp. 137-144
by Jatinder Singh, Luis Vargas, Jean Bacon, Ken Moody
Papers
New Developments in Ontology-Based Policy Management: Increasing the Practicality and Comprehensiveness of KAoSFull-text access may be available. Sign in or learn about subscription options.pp. 145-152
by Andrzej Uszok, Jeffrey M. Bradshaw, James Lott, Maggie Breedy, Larry Bunch, Paul Feltovich, Matthew Johnson, Hyuckchul Jung
Papers
Consent-Based Workflows for Healthcare ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 153-161
by Giovanni Russello, Changyu Dong, Naranker Dulay
Papers
Or Best Offer: A Privacy Policy Negotiation ProtocolFull-text access may be available. Sign in or learn about subscription options.pp. 173-180
by Daniel D. Walker, Eric G. Mercer, Kent E. Seamons
Papers
A Framework for Maximizing Utility of Sanitized Documents Based on Meta-labelingFull-text access may be available. Sign in or learn about subscription options.pp. 181-188
by Lei Zhang, Alexander Brodsky, Vipin Swarup, Sushil Jajodia
Papers
A Logic for Multi-domain Authorization Considering AdministratorsFull-text access may be available. Sign in or learn about subscription options.pp. 189-196
by Zeinab Iranmanesh, Morteza Amini, Rasool Jalili
Papers
Policy Management across Multiple Platforms and Application DomainsFull-text access may be available. Sign in or learn about subscription options.pp. 199-202
by Matthew Johnson, Jeffrey M. Bradshaw, Hyuckchul Jung, Niranjan Suri, Marco Carvalho
Papers
A Context-Aware, Policy-Based Framework for Ambient NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 203-206
by Hassine Moungla
Papers
Social Network Profile and PolicyFull-text access may be available. Sign in or learn about subscription options.pp. 207-210
by Juliana Mitchell-Wong, Ryszard Kowalczyk, Bao Quoc Vo
Papers
Policy Peering for Next-Generation NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 211-214
by Kalyani Bogineni, Flemming Andreasen
Papers
Towards Self-Configuring Policy-Based Management SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 215-218
by Abdelnasser Ouda, Hanan Lutfiyya, Michael Bauer
Papers
How to Enable Policy-Based Interactions in Dynamic Wireless Networks?Full-text access may be available. Sign in or learn about subscription options.pp. 219-222
by Chi-Kin Chau, Jon Crowcroft, Kang-Won Lee, Starsky H.Y. Wong
Papers
A Demonstration of Formal Policy Reasoning Using an Extended Version of??BaseVISorFull-text access may be available. Sign in or learn about subscription options.pp. 225-227
by Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne
Papers
A Trust Management Package for Policy-Driven Protection & Personalization of Web ContentFull-text access may be available. Sign in or learn about subscription options.pp. 228-230
by Juri L. De Coi, Daniel Olmedilla, Sergej Zerr, Piero A. Bonatti, Luigi Sauro
Papers
Demonstrating Human-Robot Coordination through Dynamic RegulationFull-text access may be available. Sign in or learn about subscription options.pp. 231-232
by Matthew Johnson, Paul J. Feltovich, Jeffrey M. Bradshaw, Larry Bunch
Papers
Demonstrating Selected W3C Policy Languages Interest Group Use Cases Using the KAoS Policy Services FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 233-234
by Andrzej Uszok, Jeffrey M. Bradshaw
Papers
DRAMA: Distributed Policy Management for MANETsFull-text access may be available. Sign in or learn about subscription options.pp. 235-237
by Ritu Chadha, Cho-Yu Jason Chiang
Papers
EXAM: An Environment for Access Control Policy Analysis and ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 238-240
by Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo
Papers
Policy Enabled ITA Sensor Fabric, A Distributed Framework for the Validation of Experimental Algorithms Using Real and Simulated SensorsFull-text access may be available. Sign in or learn about subscription options.pp. 241-242
by Fl?vio Bergamaschi, Dave Conway-Jones, Christopher Gibson, Andy Stanford-Clark, Dinesh Verma, Seraphin Calo, Greg Cirincione, Tiem Pham
Papers
Policy-Governed Information Exchange in a U.S. Army Operational ScenarioFull-text access may be available. Sign in or learn about subscription options.pp. 243-244
by Larry Bunch, Jeffrey M. Bradshaw, Clifford O. Young
Papers
Ponder2 - A Policy Environment for Autonomous Pervasive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 245-246
by Kevin Twidle, Emil Lupu, Naranker Dulay, Morris Sloman
Papers
The Coalition Policy Management Portal for Policy Authoring, Verification, and DeploymentFull-text access may be available. Sign in or learn about subscription options.pp. 247-249
by Carolyn Brodie, David George, Clare-Marie Karat, John Karat, Jorge Lobo, Mandis Beigi, Xiping Wang, Seraphin Calo, Dinesh Verma, Alberto Schaeffer-Filho, Emil Lupu, Morris Sloman
Papers
Author IndexFreely available from IEEE.pp. 250-251
Showing 53 out of 53