![]() |
End-to-end integrated security and performance analysis on the DEGAS Choreographer platformThis page contains the source code and compiled versions of the End-to-end integrated security and performance analysis on the DEGAS Choreographer platform paper. StatusThe paper is to appear in the proceedings of Formal Methods 2005. The deadline for the submitted version of the paper is 2nd May 2005 and the page limit is 16 pages. Please cite this paper as shown in this BibTeX entry for the Choreographer implementation. Compiled versionCompiled versions of the paper are available as PDF.
ArchiveThe files from this Web site are available as a single download in two compressed formats.
SourcesIndividual files from the site are listed below in case it is more convenient just to get one of the files instead of all of them.
ScreenshotsA repository of screenshots in PNG format of Choreographer and Poseidon is here. This includes screenshots used in the paper as well as others which could be used in slides or overhead foils or elsewhere. Page maintained by Stephen Gilmore.Last modified: Fri Apr 15 12:48:54 BST 2005 Validate this page. |