CaPiTo: protocol stacks for services

Keyphrases

• Protocol Stack 100%
• Service Application 100%
• Three-level 50%
• Industrial Case Study 50%
• Levels of Abstraction 50%
• Static Analysis 50%
• Process Algebra 50%
• Banking Sector 50%
• Symmetric Cryptographic Primitives 50%
• Single Sign-on 50%
• Security Weaknesses 50%
• LysA 50%

Computer Science

• Protocol Stack 100%
• Industrial Case 50%
• Process Algebra 50%
• Cryptographic Primitive 50%
• Abstract Level 50%
• Static Program Analysis 50%
• Case Study 50%