2 Hits in 1.8 sec

Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers [chapter]

Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, Mahesh Viswanathan
2008 Lecture Notes in Computer Science  
In: IFIP Formal Methods for Open Object-based Distributed Systems (FMOODS '08), Oslo, Norway, June 2008.  ...  m from id ) → [Y ]i Such atomic propositions and labeling function can, for example, be equationally defined in a conservative ("protecting") extension of the protocol theory P (see for e.g., [10  ...  The atomic propositions AP , plus the choice of the sort Conf as the sort of configurations define a Kripke structure K(P) (see [10] ), whose configurations are those of P, whose transitions are the one-state  ... 
doi:10.1007/978-3-540-68863-1_4 fatcat:t2ehmpkiubhonfnxkdya3oqphm

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2006 Electronical Notes in Theoretical Computer Science  
In Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008), pages 201-219, 2008. [SPH10] Jan Schäfer and Arnd Poetzsch-Heffter.  ...  A short version has been published in the proceedings: Norsk Informatikkkonferanse (NIK 2007) 19-21 Nov, Oslo, Norway, Tapir Akademisk forlag 2007.  ... 
doi:10.1016/j.entcs.2005.12.069 fatcat:chb5rxirp5afld7emzxe6pdlim