Tulafale. uma ferramenta de segurança para serviços da Web
Baixe Agora

Tulafale. Classificação e resumo

Tulafale. Tag

sintaxe Xml. sintaxe XML protocolo de segurança SABÃO Protocolo de sabão Serviços de segurança online. download edite foto Samsung Phone desbloquear Modem Spy Crack. Aplicativo de cliente SMTP. Infinito XP In. Rocket MP35.1.7. Antivírus da data acima livre motorista itune Romance gratuito OTK. 3110c livre Contra. Software Microprocessador 8085.

Tulafale. Descrição

Tulafale foi desenvolvido para ser uma nova linguagem de especificação para escrever descrições cheque-máquina de protocolos de segurança baseados em sabão e suas propriedades. A TulAfale é baseada no cálculo do PI (para escrever coleções de processadores SOAP em paralelo), além de sintaxe XML (para expressar mensagens de sabão), predicados lógicos (para construir e filtrar mensagens SOAP) e asserções de correspondência (para especificar metas de autenticação de protocolos ). Nossa implementação compila Tulafale para o cálculo PI aplicado e, em seguida, executa o verificador de protocolo baseado em Resolução da Blanchet. Portanto, podemos verificar automaticamente as propriedades de autenticação e sigilo dos protocolos de sabão. Esta versão inclui scripts, documentação e políticas de exemplo de nossos trabalhos recentes "Sessões seguras para serviços da Web" e "verificando a segurança baseada em políticas para serviços da Web".

Tulafale. Software Relacionado