• Richard Petersens Plads, 321, 018

    2800 Kgs. Lyngby

    Denmark

If you made any changes in Pure these will be visible here soon.
Filter
Book chapter

Search results

  • 2021

    Security Protocols as Choreographies

    Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Springer, p. 98-111 (Lecture Notes in Computer Science, Vol. 13066).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    83 Downloads (Pure)
  • Three Branches of Accountability

    Mödersheim, S. A. & Cuellar, J., 2021, Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Springer, p. 293-311 (Lecture Notes in Computer Science, Vol. 13066).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2015

    Alice and Bob: Reconciling Formal Models and Implementation

    Almousa, O., Mödersheim, S. A. & Viganò, L., 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Springer, p. 66-85 (Lecture Notes in Computer Science, Vol. 9465).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    349 Downloads (Pure)
  • 2011

    Towards Formal Validation of Trust and Security of the Internet of Services

    Carbone, R., Minea, M., Mödersheim, S. A., Ponta, S. E., Turuani, M. & Viganò, L., 2011, The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises. Springer, p. 193-207 (Lecture Notes in Computer Science; No. 6656).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review