Tulafale Una herramienta de seguridad para servicios web
Descargar ahora

Tulafale Clasificación y resumen

Tulafale Etiquetas

sintaxis XML Sintaxis XML Protocolo de seguridad SOAP Protocolo de jabón Servicios en línea de seguridad descarga edición de fotos Samsung desbloquear el teléfono Crack Spy Modem Aplicación de cliente SMTP infinito xp en ROCKET MP35.1.7 fecha de antivirus Conductor de iTune gratis GRATIS OTK ROMANCE 3110C libre contra contra Software de microprocesador 8085

Tulafale Descripción

Tulafale fue desarrollado para ser un nuevo lenguaje de especificación para escribir descripciones de la máquina de escritura de protocolos de seguridad a base de jabón y sus propiedades. Tulafale se basa en el cálculo PI (para escribir colecciones de procesadores de jabón que se ejecutan en paralelo), más la sintaxis XML (para expresar la mensajería de jabón), los predicados lógicos (para construir y filtrar mensajes de jabón) y las afirmaciones de correspondencia (para especificar los objetivos de autenticación de los protocolos ). Nuestra implementación recolecta Tulafale en el cálculo PI aplicado, y luego ejecuta el verificador de protocolo basado en la resolución de Blanchet. Por lo tanto, podemos verificar automáticamente la autenticación y las propiedades del secreto de los protocolos de jabón. Esta versión incluye scripts, documentación y pólizas de ejemplo de nuestros trabajos recientes "Sesiones seguras para servicios web" y "Verificación de la seguridad basada en políticas para los servicios web".

Tulafale Software relacionado