skip to main content
introduction
Free access

Introduction

Published: 01 December 2007 Publication History

Abstract

A short column this time around. Simon Kramer sent me a synopsis of his Ph.D. thesis, defended earlier this year at l'École Polytechnique Fédérale de Lausanne. He introduces a new logic for reasoning about cryptographic protocol called CPL (Cryptographic Protocol Logic). The result is an intriguing blend of modal logic and process algebra, reminiscent of spatial logics for process calculi, but extended with knowledge, belief, and provability operators.

Cited By

View all
  • (2022)VR-basierte Digital Reusable Learning ObjectsVR Based Digital Reusable Learning ObjectsMedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung10.21240/mpaed/47/2022.04.07.X47(138-156)Online publication date: 7-Apr-2022
  • (2020)Quality Issues in Teaching–Learning ProcessComputational Intelligence in Digital Pedagogy10.1007/978-981-15-8744-3_7(137-148)Online publication date: 20-Nov-2020
  • (2013)Effects of ‘Environmental Chemistry’ Elective Course Via Technology-Embedded Scientific Inquiry Model on Some VariablesJournal of Science Education and Technology10.1007/s10956-013-9473-523:3(412-430)Online publication date: 23-Oct-2013
  • Show More Cited By

Index Terms

  1. Introduction

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGACT News
    ACM SIGACT News  Volume 38, Issue 4
    December 2007
    54 pages
    ISSN:0163-5700
    DOI:10.1145/1345189
    Issue’s Table of Contents

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 December 2007
    Published in SIGACT Volume 38, Issue 4

    Check for updates

    Qualifiers

    • Introduction

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)15
    • Downloads (Last 6 weeks)2
    Reflects downloads up to 14 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)VR-basierte Digital Reusable Learning ObjectsVR Based Digital Reusable Learning ObjectsMedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung10.21240/mpaed/47/2022.04.07.X47(138-156)Online publication date: 7-Apr-2022
    • (2020)Quality Issues in Teaching–Learning ProcessComputational Intelligence in Digital Pedagogy10.1007/978-981-15-8744-3_7(137-148)Online publication date: 20-Nov-2020
    • (2013)Effects of ‘Environmental Chemistry’ Elective Course Via Technology-Embedded Scientific Inquiry Model on Some VariablesJournal of Science Education and Technology10.1007/s10956-013-9473-523:3(412-430)Online publication date: 23-Oct-2013
    • (2012)Identifying Science Teachers’ Perceptions of Technological Pedagogical and Content Knowledge (TPACK)Journal of Science Education and Technology10.1007/s10956-012-9396-622:3(325-336)Online publication date: 10-Jul-2012

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media