ASM Relational Transducer Security Policies

[1]  Michael Carl Tschantz,et al.  Verification and change-impact analysis of access-control policies , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[2]  Riccardo Pucella,et al.  Reasoning about Dynamic Policies , 2004, FoSSaCS.

[3]  Wolfram Schulte,et al.  Semantic essence of AsmL , 2003, Theor. Comput. Sci..

[4]  Elvinia Riccobene,et al.  Consistent Integration for Sequential Abstract State Machines , 2003, Abstract State Machines.

[5]  Marc Spielmann,et al.  Verification of relational transducers for electronic commerce , 2003, J. Comput. Syst. Sci..

[6]  Shriram Krishnamurthi.  The CONTINUE Server (or, How I Administered PADL 2002 and 2003) , 2003, PADL.

[7]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[8]  Marc Spielmann.  Verification of relational tranducers for electronic commerce , 2000, PODS '00.

[9]  Matthias Anlauff,et al.  XASM - An Extensible, Component-Based ASM Language , 2000, Abstract State Machines.

[10]  Marc Spielmann.  Model Checking Abstract State Machines and Beyond , 2000, Abstract State Machines.

[11]  Marc Spielmann.  Automatic Verification of Abstract State Machines , 1999, CAV.

[12]  Serge Abiteboul,et al.  Relational transducers for electronic commerce , 1998, J. Comput. Syst. Sci..

[13]  Giuseppe Del Castillo.  The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines , 1998, Workshop on Abstract State Machines.

[14]  Yuri Gurevich,et al.  Evolving Algebras: an Attempt to Discover Semantics , 1993, Current Trends in Theoretical Computer Science.

[15]  Michael Schrefl,et al.  Semantics of Object-Oriented Data Models - The Evolving Algebra Approach , 1990, East/West Database Workshop.