REVISTA

IEEE JOURNAL OF SELECTED AREAS IN COMMUNICATIONS

ISSN: 0733-8716 Frecuencia: 9 Formato: Impresa

Tablas de contenido

9 artículos asociados

Volumen 21 Número 1 Parte 0 Año 2003

Real-Time Information Flow Analysis	Solicitud
Focardi, R. Gorrieri, R. Martinelli, F.
Pág. 20 - 35

A Nonfunctional Approach to System Integrity	Solicitud
Foley, S. N.
Pág. 36 - 43

Formal Methods for Cryptographic Protocol Analysis: Emerging Issues and Trends	Solicitud
Meadows, C.
Pág. 44 - 54

Language-Based Information-Flow Security	Solicitud
Sabelfeld, A. Myers, A. C.
Pág. 5 - 19

Posets and Protocols-Picking the Right Three-Party Protocol	Solicitud
Ng, S.-L.
Pág. 55 - 61

Enhanced Security Protocol Engineering Through a Unified Multidimensional Framework	Solicitud
Saul, E. Hutchison, A.
Pág. 62 - 76

Verifying the SET Registration Protocols	Solicitud
Bella, G. Massacci, F. Paulson, L. C.
Pág. 77 - 87

Authentication by Correspondence	Solicitud
Gollmann, D.
Pág. 88 - 95

Determining the Operational Limits of an Anomaly-Based Intrusion Detector	Solicitud
Tan, K. M. C. Maxion, R. A.
Pág. 96 - 110