von
Preis unbekannt
Iliano Cervesato
IPv6 Information Linux access control anonymity authentication bilinear pairings biometric verification classification formal methods modeling programming security semantics verification