Common Workflows
摘要
For most protocols, the way tamarin is used follows similar patterns, and we describe here the most common workflows. This chapter brings together many concepts and techniques from previous chapters. In some cases, we will also point to additional, more advanced material from subsequent chapters.