Tulafale

Een beveiligingshulpmiddel voor webservices
Download nu

Tulafale Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • Freeware
  • Naam uitgever:
  • Microsoft
  • Besturingssystemen:
  • Windows XP / 2003 / Vista / 7
  • Bestandsgrootte:
  • 2.2 MB

Tulafale Tags


Tulafale Beschrijving

TULAFALE is ontwikkeld om een nieuwe specificatietaal te zijn voor het schrijven van machinebestelkeuze beschrijvingen van op zeep gebaseerde beveiligingsprotocollen en hun eigenschappen. TULAFALE is gebaseerd op de PI-calculus (voor het schrijven van collecties zeepprocessors die parallel lopen), plus XML-syntaxis (om zeepberichten uit te drukken), logisch voorspellen (om zeepberichten te bouwen en te filteren) en correspondentie-beweringen (om verificatiedoelstellingen van protocollen te specificeren en ). Onze implementatie compileert TulaFale in de toegepaste PI-calculus en voert vervolgens de resolutie-gebaseerde protocolverificateurs van Blanchet uit. Daarom kunnen we authenticatie en geheimhoudingseigenschappen van SOAP-protocollen automatisch verifiëren. Deze release bevat scripts, documentatie en voorbeeldbeleid uit onze recente papers "Secure Sessions for Web Services" en "Verifiëren op beleidsgebaseerde beveiliging voor webservices."


Tulafale Gerelateerde software

Piccolo2d

Een revolutionaire manier om robuuste, volledige grafische toepassingen in Java en C # te creëren ...

180 4.5 MB

Downloaden

Bzbezmenu

Een zeer eenvoudige .NET-besturing voor het eenvoudig maken van verticale navigatiemenu's ...

76 6 KB

Downloaden

Over ons