What happened to formal methods for security?

Código QR

What happened to formal methods for security?

Detalles Bibliográficos
Autor principal:	Schaffer, Kim (autora)
Otros Autores:	Voas, Feffrey (autor)
Formato:	Artículo
Lenguaje:	English
Materias:	SISTEMAS DE ALMACENAMIENTO Y RECUPERACIÓN DE INFORMACIÓN SEGURIDAD (INFORMATICA) ALMACENAMIENTO DE INFORMACION GESTIÓN DE LA INFORMACIÓN CALIDAD

Ejemplares similares

Real-Time computing on multicore processors
por: Lui, Sha,

Privacy as a service : protecting the individual in healthcare data processing /
por: Xiang Su,

Introducción a las computadoras y a los sistemas de información /
por: Long, Larry, et al.
Publicado: (1999)

Introducción a las computadoras y al procesamiento de información /
por: Long, Larry, et al.
Publicado: (1990)

Introducción a la informática /
por: Aréchiga Gallegos, Rafael
Publicado: (1980)

La Recuperación de la información : informática documentaria
por: Rodríguez Delgado, Rafael

Sistema automatizados de información y documentación
por: Rodríguez Delgado, Rafael
Publicado: (1984)

What the FUD? : whose system is this, anyway? /
por: Pace, Andrew K.

Cognitive storage for big data
por: Cherubini, Giovanni

Systementwicklung mit system /
por: Ward, Paul T.
Publicado: (1989)

Introducción a las computadoras y al procesamiento de información /
por: Long, Larry, et al.
Publicado: (1995)

Introducción a las computadoras y al procesamiento de información /
por: Long, Larry, et al.
Publicado: (1995)

Introduccion a la informatica y al procesamiento de informacion /
por: Long, Larry, et al.
Publicado: (1986)

El Desafío informático
por: Ama, D. del
Publicado: (1985)

A manual on methods for retrieving and correlating technical data /
por: Dyke, Freeman H., et al.
Publicado: (1969)

Sistemas informáticos
por: Seoane, José A
Publicado: (1981)

Análisis y diseño de sistemas /
por: Kendall Kenneth E.
Publicado: (2011)

Administración de la herramienta Datamart, de la Escuela de Ciencias y Sistemas, de la Universidad de San Carlos de Guatemala.
por: Apixolá Alvarado, Orlando Wilfredo
Publicado: (2009)

Clipper: técnicas, aplicaciones y rutinas de programación
por: Marín Quiros, F.
Publicado: (1990)

Textbook on mechanized information retrieval
por: Kent, Allen, et al.
Publicado: (1966)

The organization and search of bibliographie records: component studies /
por: Shoffner, Ralph M.
Publicado: (1971)

Proceeding of the symposium on the international information network for standars-ISONET
Publicado: (1977)

Organizing Information : principles of data base and retrieval systems /
por: Soergel, Dagobert, et al.
Publicado: (1985)

Information retrieval : computational and theoretical aspects /
por: Heaps, H. S., et al.
Publicado: (1978)

Introduction to modern information retrieval /
por: Salton, Gerard, et al.
Publicado: (1983)

The growth of knowledge: readings on organization and retrieval of information
por: Kochen, Manfred, et al.
Publicado: (1967)

The social sciences, information retrieval and the library: some recent trends and future prospects
por: LeBar, Frank M., et al.
Publicado: (1969)

Desarrollo de un paquete de recuperación de informacion para un sistema de información bibliográfica /
por: Araya Monge, José Enrique, et al.
Publicado: (1980)

Conservación y administración de los archivos privados : un estudio del RAMP /
por: Seton, Rosemary E., et al.
Publicado: (1997)

Manual de búsqueda documental y práctica bibliográfica /
por: Cordón García, José Antonio, et al.
Publicado: (1999)

Traitement automatise des documents multimedia avec les systems ISBD UNIFIE, Lamy-Rousseau et Precis. Propositions S.I.L.P
por: Lamy-Roussea, Francoise, et al.
Publicado: (1974)

Diseño de una interfaz de consulta para la recuperación de documentos estrcuturados /
por: Crestani, Fabio, et al.

El Tratamiento de datos: apuntes redactados con ocasión del cursillo impartido en la Sección de Proceso de Datos /
por: Denis, J. B., et al.
Publicado: (1976)

Problemática de la automatización del procesamiento de la información documentaria /
por: Robredo, Jaime, et al.
Publicado: (1978)

Reconocimiento de patrones /
por: Escudero, Laureano F. 1942 -, et al.
Publicado: (1977)

La documentación automática: sistemas de selección
por: Rees, Alan M., et al.
Publicado: (1960)

Los medios de informacion en medicina
por: Hernández, Horacio H., et al.
Publicado: (1969)

Los Sistemas como sistemas de información: trabajo presentado en el Seminario Latinoamericano sobre preparación de Científicos de la Información
por: Rosovsky L., José, et al.
Publicado: (1972)

Análisis y recuperación de información documental /
por: Iglesias Maturana, María Texia, et al.
Publicado: (1992)

Información y desarrollo : diálogo entre proveedores y usuarios, resumen del informe de la Reunión sobre información para el desarrollo en Latinoamerica y el Caribe.
Publicado: (1979)