Sökning: "Tu Berlin"

Hittade 2 avhandlingar innehållade orden Tu Berlin.

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. Traffic state estimation with multi-agent simulations

   Författare :Gunnar Flötteröd; TU Berlin; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : .... LÄS MER