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

Justifying a Dolev-Yao Model Under Active Attacks

Title:	Justifying a Dolev-Yao Model Under Active Attacks
Authors:	Backes, Michael^Aff19; Pfitzmann, Birgit^Aff19; Waidner, Michael^Aff19
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; Aldini, Alessandro, editor^Aff16; Gorrieri, Roberto, editor^Aff17; Martinelli, Fabio, editor^Aff18
Source:	Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures. 3655:1-41
Database:	Springer Nature eBooks