Strategy based semantics for mobility with time and access permissions

DOI10.1007/S00165-014-0324-9zbMATH Open1343.68163OpenAlexW1986561091WikidataQ57936471 ScholiaQ57936471MaRDI QIDQ890480FDOQ890480

Authors: Gabriel Ciobanu, Maciej Koutny, Jason Steggles 

Publication date: 10 November 2015

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

Full work available at URL: https://eprint.ncl.ac.uk/fulltext.aspx?url=208761/4FAF484A-BFA0-4579-89C2-CDFB098B990D.pdf&pub_id=208761

Recommendations

• A Timed Mobility Semantics Based on Rewriting Strategies
• A Temporal Semantic-Based Access Control Model
• Expressing and verifying temporal and structural properties of mobile agents
• Extending timed mobility with probabilities and real-time
• scientific article; zbMATH DE number 1231689
• Resource access control in systems of mobile agents
• scientific article; zbMATH DE number 1956519

zbMATH Keywords

mobilitytimeprocess algebrastrategiesrewriting logicaccess permissions

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Maude: specification and programming in rewriting logic
• Title not available (Why is that?)
• The Klaim project: Theory and practice
• Title not available (Why is that?)
• A Distributed Pi-Calculus
• Absolute versus relative time in process algebras.
• Complete Sets of Reductions for Some Equational Theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conditional rewriting logic as a unified model of concurrency
• Mobile ambients
• Two case studies of semantics execution in Maude: CCS and LOTOS
• CONCUR 2004 - Concurrency Theory
• Title not available (Why is that?)
• ELAN from a rewriting logic point of view
• Mobile Ambients with Timers and Types
• Timed mobility in process algebra and Petri nets
• Secure implementations of typed channel abstractions
• Title not available (Why is that?)
• A Timed Mobility Semantics Based on Rewriting Strategies
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS

Cited In (4)

• A UTP approach for rTiMo
• A Timed Mobility Semantics Based on Rewriting Strategies
• UTP Semantics for rTiMo
• Timed mobility in process algebra and Petri nets

Uses Software

• ELAN
• Maude
• Tom

This page was built for publication: Strategy based semantics for mobility with time and access permissions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890480)