Patterns of safe collaboration

A.O.D. Spiessens

    Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

    Abstract

    When practicing secure programming, it is important to understand the restrictive influence programmed entities have on the propagation of authority in a program. To precisely model authority propagation in patterns of interacting entities, we present a new formalism Knowledge Behavior Models (KBM). To describe such patterns, we present a new domain specific declarative language SCOLL (Safe Collaboration Language), which semantics are expressed by means of KBMs. To calculate the solutions for the safety problems expressed in SCOLL, we have built SCOLLAR: a model checker and solver based on constraint logic programming. SCOLLAR not only indicates whether the safety requirements are guaranteed by the restricted behavior of the relied-upon entities, but also lists the different ways in which their behavior can be restricted to guarantee the safety properties without precluding their required functionality and (re-)usability. How the tool can help programmers to build reliable components that can safely interact with partially or completely untrusted components is shown in elaborate examples.
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • KU Leuven
    Supervisors/Advisors
    • Deville, Y., Promotor, External person
    Award date1 Jan 2007
    Place of PublicationLouvain
    Publisher
    Publication statusPublished - 2007

    Fingerprint

    Logic programming
    Reusability
    Semantics

    Cite this

    Spiessens, A. O. D. (2007). Patterns of safe collaboration. Louvain: Katholieke Universiteit Leuven.
    Spiessens, A.O.D.. / Patterns of safe collaboration. Louvain : Katholieke Universiteit Leuven, 2007. 301 p.
    @phdthesis{7d6031f3a7804aff845d998316bd5542,
    title = "Patterns of safe collaboration",
    abstract = "When practicing secure programming, it is important to understand the restrictive influence programmed entities have on the propagation of authority in a program. To precisely model authority propagation in patterns of interacting entities, we present a new formalism Knowledge Behavior Models (KBM). To describe such patterns, we present a new domain specific declarative language SCOLL (Safe Collaboration Language), which semantics are expressed by means of KBMs. To calculate the solutions for the safety problems expressed in SCOLL, we have built SCOLLAR: a model checker and solver based on constraint logic programming. SCOLLAR not only indicates whether the safety requirements are guaranteed by the restricted behavior of the relied-upon entities, but also lists the different ways in which their behavior can be restricted to guarantee the safety properties without precluding their required functionality and (re-)usability. How the tool can help programmers to build reliable components that can safely interact with partially or completely untrusted components is shown in elaborate examples.",
    author = "A.O.D. Spiessens",
    year = "2007",
    language = "English",
    publisher = "Katholieke Universiteit Leuven",
    address = "Belgium",
    school = "KU Leuven",

    }

    Spiessens, AOD 2007, 'Patterns of safe collaboration', Doctor of Philosophy, KU Leuven, Louvain.

    Patterns of safe collaboration. / Spiessens, A.O.D.

    Louvain : Katholieke Universiteit Leuven, 2007. 301 p.

    Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

    TY - THES

    T1 - Patterns of safe collaboration

    AU - Spiessens, A.O.D.

    PY - 2007

    Y1 - 2007

    N2 - When practicing secure programming, it is important to understand the restrictive influence programmed entities have on the propagation of authority in a program. To precisely model authority propagation in patterns of interacting entities, we present a new formalism Knowledge Behavior Models (KBM). To describe such patterns, we present a new domain specific declarative language SCOLL (Safe Collaboration Language), which semantics are expressed by means of KBMs. To calculate the solutions for the safety problems expressed in SCOLL, we have built SCOLLAR: a model checker and solver based on constraint logic programming. SCOLLAR not only indicates whether the safety requirements are guaranteed by the restricted behavior of the relied-upon entities, but also lists the different ways in which their behavior can be restricted to guarantee the safety properties without precluding their required functionality and (re-)usability. How the tool can help programmers to build reliable components that can safely interact with partially or completely untrusted components is shown in elaborate examples.

    AB - When practicing secure programming, it is important to understand the restrictive influence programmed entities have on the propagation of authority in a program. To precisely model authority propagation in patterns of interacting entities, we present a new formalism Knowledge Behavior Models (KBM). To describe such patterns, we present a new domain specific declarative language SCOLL (Safe Collaboration Language), which semantics are expressed by means of KBMs. To calculate the solutions for the safety problems expressed in SCOLL, we have built SCOLLAR: a model checker and solver based on constraint logic programming. SCOLLAR not only indicates whether the safety requirements are guaranteed by the restricted behavior of the relied-upon entities, but also lists the different ways in which their behavior can be restricted to guarantee the safety properties without precluding their required functionality and (re-)usability. How the tool can help programmers to build reliable components that can safely interact with partially or completely untrusted components is shown in elaborate examples.

    UR - http://www.evoluware.eu/fsp_thesis.pdf

    M3 - Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

    PB - Katholieke Universiteit Leuven

    CY - Louvain

    ER -

    Spiessens AOD. Patterns of safe collaboration. Louvain: Katholieke Universiteit Leuven, 2007. 301 p.