Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Revocation in the privilege calculus
RISE, Swedish ICT, SICS.
2003 (English)In: Proceedings of the 1st International Workshop on Formal Aspects in Security and Trust (FAST), 2003, 1Conference paper, (Refereed)
Abstract [en]

We have previously presented a framework for updating privileges and creating management structures by means of authority certificates. These are used both to create access-level permissions and to delegate authority to other agents. In this paper we extend the framework to support a richer set of revocation schemes. As in the original, we present an associated calculus of privileges, encoded as a logic program, for reasoning about certificates, revocations, and the privileges they create and destroy. The discussion of revocation schemes follows an existing classification in the literature based on three separate dimensions: resilience, propagation, and dominance. The first does not apply to this framework. The second is specified straightforwardly. The third can be encoded but raises a number offurther questions for future investigation.

Place, publisher, year, edition, pages
2003, 1.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22436OAI: oai:DiVA.org:ri-22436DiVA: diva2:1041981
Conference
1st International Workshop on Formal Aspects in Security and Trust (FAST), 8-9 Sept 2003, Pisa, Italy
Note

Editors: Theo Dimitrakos and Fabio Martinelli, IIT TR-10/2003 Technical Report, Istituto di Informatica e Telematica.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-22Bibliographically approved

Open Access in DiVA

No full text

By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.26.0