Dieses Ergebnis aus Springer Nature eBooks kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes

Title:	Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes
Authors:	Backes, Michael^Aff19; Pfitzmann, Birgit^Aff20; Waidner, Michael^Aff20
Contributors:	Hutchison, David, editor^Aff1; Kanade, Takeo, editor^Aff2; Kittler, Josef, editor^Aff3; Kleinberg, Jon M., editor^Aff4; Mattern, Friedemann, editor^Aff5; Mitchell, John C., editor^Aff6; Naor, Moni, editor^Aff7; Nierstrasz, Oscar, editor^Aff8; Pandu Rangan, C., editor^Aff9; Steffen, Bernhard, editor^Aff10; Sudan, Madhu, editor^Aff11; Terzopoulos, Demetri, editor^Aff12; Tygar, Dough, editor^Aff13; Vardi, Moshe Y., editor^Aff14; Weikum, Gerhard, editor^Aff15; Gollmann, Dieter, editor^Aff16; Meier, Jan, editor^Aff17; Sabelfeld, Andrei, editor^Aff18
Source:	Computer Security – ESORICS 2006 : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings. 4189:404-423
Database:	Springer Nature eBooks