Sökning: "static equivalence"

Visar resultat 1 - 5 av 13 avhandlingar innehållade orden static equivalence.

1. 1. Logics of Knowledge and Cryptography : Completeness and Expressiveness

   Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

   Sammanfattning : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. LÄS MER

3. 2. Equivalences and Calculi for Formal Verification of Cryptographic Protocols

   Författare :Johannes Borgström; Uwe Nestmann; Thomas A Henzinger; Martin Odersky; Andrew D Gordon; Viktor Kuncak; Björn Victor; EPFL; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools. LÄS MER

4. 3. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

   Författare :Magnus Johansson; Björn Victor; Joachim Parrow; Catuscia Palamidessi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculi; pi-calculus; bisimulation; operational semantics; nominal logic; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   Sammanfattning : A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. LÄS MER

5. 4. A statistical approach to multi-input equivalent fatigue loads for the durability of automotive structures

   Författare :Gwenaelle Genet; Göteborgs universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Equivalent fatigue; uniaxial and multiaxial high cycle fatigue; multi-input variable amplitude loads; rainflow counting; Morel s model; Basquin s model; Gaussian process; Markov chain; Markov chain;

   Sammanfattning : In the automotive industry, due to temporal and financial constraints, we need to strongly reduce the duration of the design phase, but still ensure reliability and robustness. Structures in service are often exposed to complex variable amplitude loads. LÄS MER

7. 5. Les verbes de position suédois stå, sitta, ligga et leurs équivalents français : étude contrastive

   Författare :Pauli Kortteinen; Göteborgs universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Swedish; French; posture verbs; corpus linguistics; contrastive linguistics; parallel corpus; translation corpus; translationese; overuse; underuse; grammaticalisation; lexicalisation; language typology; cognitive linguistics;

   Sammanfattning : The Swedish posture verbs stå ‘stand’, sitta ‘sit’ and ligga ‘lie’ are used prototypically to refer to human beings in standing, sitting and lying positions. These polysemous verbs are components of the lexical profile of the Swedish language – they are verbs of high frequency and alongside their prototypical uses they also have many metaphorical, lexicalised and grammaticalised uses with no straightforward lexical equivalents in French. LÄS MER