Browsen nach Sachgebiet

Alle Sachgebiete   Informatik   Daten

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

88 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 4

1 2 3 4 nächste › letzte »

1. Accountability in optimistic non-repudiation protocols

Torabi Dashti, Mohammad (2010)


Reports

2. A distance hijacking attack on the CRCS distance bounding protocol

Cremers, Cas (2011)


Reports

3. Analysis of reachability properties in communicating authorization policies

Frau, Simone (2012)


Dissertationen und Habilitationen

4. An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries

Kyburz, Adrian (2010)


Masterarbeiten

5. An efficient SAT encoding of circuit codes

Chebiryak, Yury und Kröning, Daniel (2008)


Tagungsbeiträge

6. A new approach towards coercion-resistant remote e-voting in linear time

Spycher, Oliver, Koenig, Reto, Haenni, Rolf und Schläpfer, Michael (2011)


Tagungsbeiträge

7. A new design for low-depth compression functions from length preserving public random functions

Lui, Jackey (2009)


Masterarbeiten

8. Animierte Datenstrukturen in Java

Häfliger, Peter (2002)


Masterarbeiten

9. An improved privacy-preserving clone detection mechanism against realistic adversaries

Weingart, Reto (2010)


Masterarbeiten

10. An Investigation of binary recording density limitations in computer applications

Hopner, Emil (1962)


Dissertationen und Habilitationen

11. An On-the-fly model-checker for security protocol analysis

Basin, David A., Mödersheim, Sebastian und Viganò, Luca (2003)


Reports

12. Approaches to efficient and robust cryptographic protocols

Przydatek, Bartosz Jan (2007)


Dissertationen und Habilitationen

13. Attack and revision of an electronic auction protocol using OFMC

Ksiezopolski, Bogdan und Lafourcade, Pascal


Reports

14. Biometric authentication system using human gait

Cattin, Philippe (2002)


Dissertationen und Habilitationen

15. Building formal models of next-generation security protocols

Drielsma, Paul David Hankes (2007)


Dissertationen und Habilitationen

16. Combining computational and information-theoretic security in multi-party computation

Lucas, Christoph (2008)


Masterarbeiten

17. Comparing state spaces in automatic security protocol verification

Cremers, Cas und Lafourcade, Pascal


Reports

18. Compressive sensing

Pope, Graeme (2009)


Masterarbeiten

19. Computational indistinguishability amplification

Tessaro, Stefano (2010)


Dissertationen und Habilitationen

20. Constraint differentiation: a new reduction technique for constraint-based analysis of security protocols

Basin, David A., Mödersheim, Sebastian und Viganò, Luca (2003)


Reports

21. Designing mechanisms for trust-based interaction in social networks

Walter, Frank Edward (2009)


Dissertationen und Habilitationen

22. Distance hijacking attacks on distance bounding protocols

Cremers, Cas, Rasmussen, Kasper Bonne und Capkun, Srdjan (2011)


Reports

23. Distance hijacking attacks on distance bounding protocols

Cremers, Cas, Rasmussen, Kasper Bonne und Capkun, Srdjan (2011)


Reports

24. Distributed cryptographic protocols in asynchronous networks with universal composability

Strobl, Reto (2005)


Dissertationen und Habilitationen

25. Efficiency and security of cryptosystems based on number theory

Bleichenbacher, Daniel (1996)


Dissertationen und Habilitationen


Seite 1 von 4

1 2 3 4 nächste › letzte »