IBL Tool - Digitale Bibliotheek

Digitale Bibliotheek

Tijdschrift beschrijving

Alle jaargangen van het bijbehorende tijdschrift

Alle afleveringen van het bijbehorende jaargang

Alle artikelen van de bijbehorende aflevering

15 gevonden resultaten

nr	titel	auteur	tijdschrift	jaar	jaarg.	afl.	pagina('s)	type
1	An environment for security protocol intrusion detection	Alec Yasinsac		2002		1-2	p. 177-188	artikel
2	Casper: A compiler for the analysis of security protocols	Gavin Lowe		2003		1-2	p. 53-84	artikel
3	Enhancing profiles for anomaly detection using time granularities	Yingjiu Li		2002		1-2	p. 137-157	artikel
4	Guest editor's preface			2002		1-2	p. 1-3	artikel
5	Guest editors' preface	Simon N. Foley		2003		1-2	p. 1	artikel
6	Guest editor's preface			2001		1-2	p. 1-2	artikel
7	Model-based analysis of configuration vulnerabilities	Ramakrishnan, C.R.		2002		1-2	p. 189-209	artikel
8	On SDSI's linked local name spaces	Martín Abadi		2003		1-2	p. 3-21	artikel
9	Panoptis: Intrusion detection using a domain-specific language	Diomidis Spinellis		2002		1-2	p. 159-176	artikel
10	Practical automated detection of stealthy portscans	Stuart Staniford		2002		1-2	p. 105-136	artikel
11	Provable security for cryptographic protocols - exact analysis and engineering applications	III James W. Gray		2003		1-2	p. 23-52	artikel
12	STATL: An attack language for state-based intrusion detection	Steven T. Eckmann		2002		1-2	p. 71-103	artikel
13	The inductive approach to verifying cryptographic protocols	Lawrence C. Paulson		2003		1-2	p. 85-128	artikel
14	Toward cost-sensitive modeling for intrusion detection and response	Wenke Lee		2002		1-2	p. 5-22	artikel
15	Using internal sensors and embedded detectors for intrusion detection	Florian Kerschbaum		2002		1-2	p. 23-70	artikel

15 gevonden resultaten

Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland