CaPiTo: protocol stacks for services

Publication: Research - peer-reviewJournal article – Annual report year: 2011

View graph of relations

CaPiTo allows the modelling of service-oriented applications using process algebras at three levels of abstraction. The abstract level focuses on the key functionality of the services; the plug-in level shows how to obtain security using standardised protocol stacks; finally, the concrete level allows to consider how security is obtained using asymmetric and symmetric cryptographic primitives. The CaPiTo approach therefore caters for a variety of developers that need to cooperate on designing and implementing service-oriented applications. We show how to formally analyse CaPiTo specifications for ensuring the absence of security flaws. The method used is based on static analysis of the corresponding LySa specifications. We illustrate the development on two industrial case studies; one taken from the banking sector and the other a single sign-on protocol.
Original languageEnglish
JournalFormal Aspects of Computing
Publication date2011
Volume23
Issue4
Pages541-565
ISSN0934-5043
DOIs
StatePublished
CitationsWeb of Science® Times Cited: 0

Keywords

  • Process algebras, Communication protocols, Standardised protocol stacks, Formal verification
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 5626807