FSL – Fibred Security Language

Genovese, Valerio; Gabbay, Dov M.; Boella, Guido; van der Torre, Leendert

doi:10.4230/DagSemProc.09121.16

Document

FSL – Fibred Security Language

Authors Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert van der Torre

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 9121
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2009-03-11

PDF

File

PDF

DagSemProc.09121.16.pdf

Filesize: 239 kB
29 pages

Document Identifiers

DOI: 10.4230/DagSemProc.09121.16
URN: urn:nbn:de:0030-drops-19083

Subject Classification

Keywords

Access Control
Trust Management
Fibring Logics

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

We develop a fibred security language capable to express statements of the form
begin{center}
${x }varphi (x) says psi$
end{center}
where ${x}varphi (x)$ is the set of all $x$ that satisfy
$varphi$ and $psi$ is any formula. $varphi$ and $psi$ may
share several free variables.
For example, we can express the following: "A member $m$ of the Program Committee can not accept a paper $P_1$ 
in which one of its authors says that he has published a paper with him after 2007"
begin{center}
$
eg({m} [PC(m) wedge {y}author\_of(y,P_1) 	extbf{ says } exists p(paper(p) wedge author\_of(m,p) wedge author\_of(y,p) wedge year(p) geq 2007)] 	extbf{ says } accept(P_1))$
end{center}

Cite As Get BibTex

Valerio Genovese, Dov M. Gabbay, Guido Boella, and Leendert van der Torre. FSL – Fibred Security Language. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009) https://doi.org/10.4230/DagSemProc.09121.16

Author Details

Valerio Genovese

Dov M. Gabbay

Guido Boella

Leendert van der Torre

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail