Fibred security language
type: Item
instance of: scholarly article
title: Fibred security language
zbMATH Open document ID: 1181.03033
author: Guido Boella
author: Dov Gabbay
author: Valerio Genovese
author: Leendert van der Torre
published in: Studia Logica
publication date: 2009-11-16T00:00:00Z
full work available at URL: http://orbilu.uni.lu/handle/10993/24938
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B62
zbMATH DE Number: 5633566
zbMATH Keywords: logic
zbMATH Keywords: fibring
zbMATH Keywords: access control
zbMATH Keywords: language-based security
zbMATH Keywords: trust management
describes a project that uses: DKAL
MaRDI profile type: Publication
OpenAlex ID: W2021560066
cites work: Variations in Access Control Logic
cites work: Formal Techniques for Networked and Distributed Systems – FORTE 2004
cites work: Q4894942
cites work: Q4217280
cites work: A Modal Deconstruction of Access Control Logics
cites work: Q4415096
DOI: 10.1007/S11225-009-9201-6
Recommended article: Language extensions for programmable security
Recommended article: Q4778713
Recommended article: A meta-model of access control in a fibred security language
Recommended article: Foundations of Software Science and Computational Structures
Recommended article: Formal Language Identity-based Cryptography
Recommended article: Q4940696
Recommended article: A secrecy-preserving language for distributed and object-oriented systems
description: scientific article; zbMATH DE number 5633566