Suchergebnisse - Bruso, Mayla | OPAC THWS

1

Formal Verification of Privacy for RFID Systems von Bruso, Mayla, Chatzikokolakis, Konstantinos, den Hartog, Jerry

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Non-repudiation analysis using LySa with annotations von Brusò, Mayla, Cortesi, Agostino

Veröffentlicht in Computer languages, systems & structures

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Non-repudiation analysis using L yS a with annotations von Brusò, Mayla, Cortesi, Agostino

Veröffentlicht in Computer languages, systems & structures

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Linking Unlinkability von Brusó, Mayla, Chatzikokolakis, Konstantinos, Etalle, Sandro, den Hartog, Jerry

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers von Palamidessi, Catuscia, Ryan, Mark D

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: