Regulating Data Exchange in Service Oriented Applications
From MaRDI portal
Publication:3508528
DOI10.1007/978-3-540-75698-9_15zbMath1141.68509OpenAlexW4242830425MaRDI QIDQ3508528
Francesco Tiezzi, A. Lapadula, Rosario Pugliese
Publication date: 1 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://eprints.imtlucca.it/417/1/cows_fsen_2007b.pdf
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Dynamic role authorization in multiparty conversations, Combining behavioural types with security analysis, An accessible verification environment for UML models of services, Relational Analysis of Correlation, Typing access control and secure information flow in sessions, A formal approach to the engineering of domain-specific distributed systems
Uses Software