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