Tulafale Uno strumento di sicurezza per i servizi Web
Scarica ora

Tulafale Classifica e riepilogo

Tulafale Tag

sintassi XML. Sintassi XML. SOAP protocollo di sicurezza Protocollo di sapone Servizi online di sicurezza Scarica Modifica foto. Samsung Phone Unlock. modem crepa spia Applicazione client SMTP. xp infinito in MP3 Rocket 5.1.7. Data Antivirus. driver itune gratis. OTK romanticismo gratuito 3110c Contra. Software microprocessore 8085.

Tulafale Descrizione

Tulafale è stato sviluppato per essere un nuovo linguaggio di specifica per la scrittura di descrizioni controllabili dalla macchina dei protocolli di sicurezza a base di sapone e le loro proprietà. La tulafale si basa sul PI Calculus (per la scrittura di collezioni di processori di sapone in esecuzione in parallelo), oltre alla sintassi XML (per esprimere la messaggistica del sapone), i predischi logici (per costruire e filtrare i messaggi di sapone) e le asserzioni di corrispondenza (per specificare gli obiettivi di autenticazione dei protocolli ). La nostra implementazione compila la tulafale nel calcolo PI applicato, quindi esegue il verificatore del protocollo basato sulla risoluzione Blanchet. Quindi, possiamo verificare automaticamente l'autenticazione e le proprietà del segreto dei protocolli di sapone. Questa versione include script, documentazione e criteri di esempio dei nostri recenti documenti "Sessioni sicure per i servizi Web" e "Verifica sicurezza basata sulla politica per i servizi Web".

Tulafale Software correlato