Updated on 25 Aug 2011
By Anthony Buckner
2.21 MB Safe To Install
Advertising











Specifications
License:
Freeware (Free)
Updated:
Downloads:
106
Platform:
Windows XP / 2003 / Vista / 7
Publisher:
(more)
Website:
Unknown
User Reviews:
Other versions:
Do you like
TulaFale?
Publisher's Descriptions
TulaFale was developed to be a new specification language for writing machine-checkable descriptions of SOAP-based security protocols and their properties. TulaFale is based on the pi calculus (for writing collections of SOAP processors running in parallel), plus XML syntax (to express SOAP messaging), logical predicates (to construct and filter SOAP messages), and correspondence assertions (to specify authentication goals of protocols).

Our implementation compiles TulaFale into the applied pi calculus, and then runs Blanchet's resolution-based protocol verifier. Hence, we can automatically verify authentication and secrecy properties of SOAP protocols. This release includes scripts, documentation and example policies from our recent papers "Secure Sessions for Web Services" and "Verifying Policy-based Security for Web Services."

Do you like TulaFale

TulaFale Disclamer
Please be aware FindMySoft.com accepts no responsibility for the file you are downloading. The same applies to the information provided about the software products listed.
We do not allow the inclusion of any TulaFale serial, keygen or crack and we disclaim any liability for the inappropriate use of TulaFale.
FindMySoft advises that TulaFale should be only used in accordance with the rules of intellectual property and the existing Criminal Code.
For your own protection ALWAYS check downloaded files for viruses.
Advertising
Popular News
The free AboutOne app is currently exclusive to Windows Phone. The app is available for free in the Markeplace.
Google rolled out Chrome 19 to the Stable Channel. This version fixes some security problems and adds tab syncing capabilities.
Your Rating
1.0
out
of
5
Rated By
1 Users
Top Downloads
Become A Fan!
Link To Us!
TulaFale
HTML Linking Code
Latest Reviews