Would you please tell me how process algebra could help me to design security protocols?

More specifically, can I use it for proving the security of protocols?

Is process algebra used for any security protocol or specific types of protocol such as network protocols?

  • 1
    $\begingroup$ Hi Amir Hosein. Please use a minimum of highlighting, especially when it comes to bold text (prefer italics please). It would be a good idea to look a bit into how to use markdown. You're asking a lot of good questions here, but removing the spurious capitalization and bold took some time. Please do not ask for references. I've removed the final request from your question (which you can roll back) but note that asking for references like this is considered off topic. $\endgroup$ – Maarten Bodewes Sep 3 '18 at 20:36

More specifically, can I use it for proving the security of protocols?

Using process algebras you can model or describe your protocol using a language that has a formally defined syntax and semantic (= meaning) just like you can describe a protocol using code or text. The advantage of process algebras is that the formal syntax and semantics can be used by tools to do one of the following:

  • Find a counter-example to a claimed property.
  • Prove that the protocol satisfies a claimed property (not always possible).
  • Reduce the proof of the complete protocol to some more easily manually achieved proofs.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.