Change search
ReferencesLink to record
Permanent link

Direct link
Regular SPKI
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.ORCID iD: 0000-0001-5432-6442
2005 (English)In: Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349, Vol. 3364, 134-152 p.Article in journal (Refereed) Published
Abstract [en]

SPKI is a certificate-based framework for authorisation in distributed systems. The SPKI framework is extended by an iteration construct, essentially Kleene star, to express constraints on delegation chains. Other possible applications, not explored in the paper, include multidomain network routing path constraints. The main decision problems for the extended language are shown to correspond to regular language membership and containment respectively. To support an efficient decision algorithm in both cases we give a sound and complete inference system for a fragment of the language which is decidable in polynomial time. We finally show how to use the extended syntax to represent constrained delegation in SPKI.

Place, publisher, year, edition, pages
2005. Vol. 3364, 134-152 p.
Keyword [en]
Algorithms, Distributed computer systems, Motion planning, Polynomials, Security of data
National Category
Computer Science
URN: urn:nbn:se:kth:diva-43212DOI: 10.1007/11542322_18ISI: 000232948300010ScopusID: 2-s2.0-33645695142OAI: diva2:447811
QC 20111013. 11th International Workshop on Security Protocols. Cambridge, ENGLAND. APR 02-04, 2003Available from: 2011-10-13 Created: 2011-10-13 Last updated: 2011-10-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Dam, Mads
By organisation
Microelectronics and Information Technology, IMIT
In the same journal
Lecture Notes in Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 20 hits
ReferencesLink to record
Permanent link

Direct link