Sökning: "Uwe Nestmann"

Hittade 2 avhandlingar innehållade orden Uwe Nestmann.

1. 1. 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

3. 2. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results

   Författare :Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

   Sammanfattning : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. LÄS MER