Abstrakt. I konstruktionsprocessen för distribuerade system kan vi behöva ersätta abstrakta specifikationer av komponenter med mer konkreta specifikationer, vilket ger mer detaljerad designinformation. Inom ramen för processen algebra kallas detta välkända tillvägagångssätt ofta för åtgärdsförfining. Vi studerar relationen mellan åtgärdsförfining och säkerhetsegenskaper inom Security Process Algebra (SPA). Först formaliserar vi begreppet handlingsförfining som en strukturell induktiv omvandling. Sedan bevisar vi flera kompositionsresultat som kan utnyttjas i den stegvisa utvecklingen av processer. Slutligen överväger vi säkerhetsegenskaper för informationsflöde för SPA-processer och definierar en decidable klass av säkra processer som stängs under förfining.
Ett nyligen utfört arbete av Bossi et al. REF formaliserar åtgärdsförfining i säkerhetsprocessen algebra SPA.
Action Refinement in Process Algebra and Security Issues
{'venue': 'LOPSTR', 'journal': None, 'mag_field_of_study': ['Computer Science']}