Dynamic role authorization in multiparty conversations

DOI10.1007/s00165-016-0363-5zbMath1345.68235arXiv1408.5977OpenAlexW1994472125WikidataQ57652357 ScholiaQ57652357MaRDI QIDQ315294

Jovanka Pantović, Svetlana Jakšić, Silvia Ghilezan, Jorge A. Pérez, Hugo Torres Vieira

Publication date: 20 September 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1408.5977

zbMATH Keywords

software verificationtype systemsprocess calculibehavioral typesauthorization control

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A Calculus for Modeling Floating Authorizations, Dynamic role authorization in multiparty conversations, The \texttt{link}-calculus for open multiparty interactions, A calculus for modeling floating authorizations

Cites Work

• Dynamic role authorization in multiparty conversations
• Conversation types
• Combining behavioural types with security analysis
• Dynamic management of capabilities in a network aware coordination language
• Information flow safety in multiparty sessions
• Types for Role-Based Access Control of Dynamic Web Data
• Regulating Data Exchange in Service Oriented Applications
• Session Types for Access and Information Flow Control
• Protection in operating systems
• Correspondence assertions for process synchronization in concurrent communications
• Programming Languages and Systems
• Dynamic multirole session types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item