Matches in SemOpenAlex for { <https://semopenalex.org/work/W314848717> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W314848717 abstract "Abstract : This report defines the syntax and semantics of the specification language MSR 2.0, and gives requirements for a run-time environment for it. Specifically, it defines the concrete syntax of the language and formalizes its typing and execution semantics at an abstract level. It also describes programming environment functionalities such as type reconstruction and facilities for controlling execution. MSR 2.0 is a specification language based on first-order multiset rewriting modulo equations, dependent types, and subsorting. This report is meant to act as its official definition, as various subsets have appeared in previous publications, for example [6, 7]. It has been used extensively for studying cryptographic protocols [5, 8, 9, 10, 12, 13, 15] and especially Kerberos 5 [1, 2, 3, 4, 16, 17]. It was also used experimentally for modeling bio-molecular systems [11]. MSR 1.0, the precursor of this version, was also used in foundational studies for cryptoprotocols [14, 19]. An implementation of MSR 2.0 which adheres to the definition presented in this report has been written in Maude [18, 21]." @default.
- W314848717 created "2016-06-24" @default.
- W314848717 creator A5061649545 @default.
- W314848717 date "2011-11-01" @default.
- W314848717 modified "2023-09-27" @default.
- W314848717 title "MSR 2.0: Language Definition and Programming Environment" @default.
- W314848717 hasPublicationYear "2011" @default.
- W314848717 type Work @default.
- W314848717 sameAs 314848717 @default.
- W314848717 citedByCount "0" @default.
- W314848717 crossrefType "journal-article" @default.
- W314848717 hasAuthorship W314848717A5061649545 @default.
- W314848717 hasConcept C118615104 @default.
- W314848717 hasConcept C154690210 @default.
- W314848717 hasConcept C154945302 @default.
- W314848717 hasConcept C156325763 @default.
- W314848717 hasConcept C184337299 @default.
- W314848717 hasConcept C186644900 @default.
- W314848717 hasConcept C199360897 @default.
- W314848717 hasConcept C33923547 @default.
- W314848717 hasConcept C41008148 @default.
- W314848717 hasConcept C54732982 @default.
- W314848717 hasConcept C58646249 @default.
- W314848717 hasConcept C60048249 @default.
- W314848717 hasConceptScore W314848717C118615104 @default.
- W314848717 hasConceptScore W314848717C154690210 @default.
- W314848717 hasConceptScore W314848717C154945302 @default.
- W314848717 hasConceptScore W314848717C156325763 @default.
- W314848717 hasConceptScore W314848717C184337299 @default.
- W314848717 hasConceptScore W314848717C186644900 @default.
- W314848717 hasConceptScore W314848717C199360897 @default.
- W314848717 hasConceptScore W314848717C33923547 @default.
- W314848717 hasConceptScore W314848717C41008148 @default.
- W314848717 hasConceptScore W314848717C54732982 @default.
- W314848717 hasConceptScore W314848717C58646249 @default.
- W314848717 hasConceptScore W314848717C60048249 @default.
- W314848717 hasLocation W3148487171 @default.
- W314848717 hasOpenAccess W314848717 @default.
- W314848717 hasPrimaryLocation W3148487171 @default.
- W314848717 hasRelatedWork W14931620 @default.
- W314848717 hasRelatedWork W1513140821 @default.
- W314848717 hasRelatedWork W1518253797 @default.
- W314848717 hasRelatedWork W1524282462 @default.
- W314848717 hasRelatedWork W1527809006 @default.
- W314848717 hasRelatedWork W1557924298 @default.
- W314848717 hasRelatedWork W1601013538 @default.
- W314848717 hasRelatedWork W1969857501 @default.
- W314848717 hasRelatedWork W2013399578 @default.
- W314848717 hasRelatedWork W2069426543 @default.
- W314848717 hasRelatedWork W2081345889 @default.
- W314848717 hasRelatedWork W2089152968 @default.
- W314848717 hasRelatedWork W2133376498 @default.
- W314848717 hasRelatedWork W2185921321 @default.
- W314848717 hasRelatedWork W2592399342 @default.
- W314848717 hasRelatedWork W2619871932 @default.
- W314848717 hasRelatedWork W2990670289 @default.
- W314848717 hasRelatedWork W3120111630 @default.
- W314848717 hasRelatedWork W45184312 @default.
- W314848717 hasRelatedWork W1923254076 @default.
- W314848717 isParatext "false" @default.
- W314848717 isRetracted "false" @default.
- W314848717 magId "314848717" @default.
- W314848717 workType "article" @default.