<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01527639</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-21T02:43:08+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Behavioral Singletons to Consistently Handle Global States of Security Patterns</title>
            <author role="aut">
              <persName>
                <forename type="first">Linda</forename>
                <forename type="middle">Ariani</forename>
                <surname>Gunawan</surname>
              </persName>
              <email type="md5">b097b5f4bcd0791952cdc9f81fce3fc8</email>
              <email type="domain">item.ntnu.no</email>
              <idno type="idhal" notation="numeric">1008903</idno>
              <idno type="halauthorid" notation="string">1173195-1008903</idno>
              <affiliation ref="#struct-15514"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frank</forename>
                <forename type="middle">Alexander</forename>
                <surname>Kraemer</surname>
              </persName>
              <email type="md5">f71e27681d2e27bad7bc269ac56e1257</email>
              <email type="domain">item.ntnu.no</email>
              <idno type="idhal" notation="numeric">1008904</idno>
              <idno type="halauthorid" notation="string">1173196-1008904</idno>
              <affiliation ref="#struct-15514"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Peter</forename>
                <surname>Herrmann</surname>
              </persName>
              <email type="md5">c608697010852d75782d48c8cd5f42e4</email>
              <email type="domain">item.ntnu.no</email>
              <idno type="idhal" notation="numeric">1001654</idno>
              <idno type="halauthorid" notation="string">853076-1001654</idno>
              <affiliation ref="#struct-263827"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-05-24 17:22:56</date>
              <date type="whenModified">2026-01-15 17:12:03</date>
              <date type="whenReleased">2017-05-24 17:24:55</date>
              <date type="whenProduced">2012-06-13</date>
              <date type="whenEndEmbargoed">2015-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01527639v1/document">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01527639v1/file/978-3-642-30823-9_6_Chapter.pdf" id="file-1527639-1589184">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-30823-9_6.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01527639</idno>
            <idno type="halUri">https://inria.hal.science/hal-01527639</idno>
            <idno type="halBibtex">gunawan:hal-01527639</idno>
            <idno type="halRefHtml">&lt;i&gt;12th International Conference on Distributed Applications and Interoperable Systems (DAIS)&lt;/i&gt;, Jun 2012, Stockholm, Sweden. pp.73-86, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-30823-9_6"&gt;&amp;#x27E8;10.1007/978-3-642-30823-9_6&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.73-86, &amp;#x27E8;10.1007/978-3-642-30823-9_6&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1527639-1589184"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC6" corresp="IFIP-TC">TC 6: Communication Systems</idno>
            <idno type="stamp" n="IFIP-WG6-1" corresp="IFIP-WG">Architectures and Protocols for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-DAIS" corresp="IFIP">DAIS: Distributed Applications and Interoperable Systems</idno>
            <idno type="stamp" n="IFIP-LNCS-7272" corresp="IFIP-LNCS">Distributed Applications and Interoperable Systems</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Behavioral Singletons to Consistently Handle Global States of Security Patterns</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Linda</forename>
                    <forename type="middle">Ariani</forename>
                    <surname>Gunawan</surname>
                  </persName>
                  <email type="md5">b097b5f4bcd0791952cdc9f81fce3fc8</email>
                  <email type="domain">item.ntnu.no</email>
                  <idno type="idhal" notation="numeric">1008903</idno>
                  <idno type="halauthorid" notation="string">1173195-1008903</idno>
                  <affiliation ref="#struct-15514"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frank</forename>
                    <forename type="middle">Alexander</forename>
                    <surname>Kraemer</surname>
                  </persName>
                  <email type="md5">f71e27681d2e27bad7bc269ac56e1257</email>
                  <email type="domain">item.ntnu.no</email>
                  <idno type="idhal" notation="numeric">1008904</idno>
                  <idno type="halauthorid" notation="string">1173196-1008904</idno>
                  <affiliation ref="#struct-15514"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Peter</forename>
                    <surname>Herrmann</surname>
                  </persName>
                  <email type="md5">c608697010852d75782d48c8cd5f42e4</email>
                  <email type="domain">item.ntnu.no</email>
                  <idno type="idhal" notation="numeric">1001654</idno>
                  <idno type="halauthorid" notation="string">853076-1001654</idno>
                  <affiliation ref="#struct-263827"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>12th International Conference on Distributed Applications and Interoperable Systems (DAIS)</title>
                  <date type="start">2012-06-13</date>
                  <date type="end">2012-06-16</date>
                  <settlement>Stockholm</settlement>
                  <country key="SE">Sweden</country>
                </meeting>
                <editor>Karl Michael Göschka</editor>
                <editor>Seif Haridi</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Distributed Applications and Interoperable Systems</biblScope>
                  <biblScope unit="volume">LNCS-7272</biblScope>
                  <biblScope unit="pp">73-86</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-30823-9_6</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Secure systems are usually complex since stateful security mechanisms like authentication and authorization have to be integrated into the functional behavior at various places. The security operations are, in general, interdependent such that events at one place may influence the behavior at other places. Thus, the composed specification of a system is neither easy to understand nor to analyze, and a faulty integration of the security mechanisms is often overseen. In this paper, we introduce the concept of singletons into our model-based engineering technique SPACE which facilitates a straightforward integration of security aspects. The behavior of a security protocol is encapsulated in a building block using a two-view interface contract. One view of the contract is quite simple and suffices for the correct integration of the block into a system specification. The other view is more complex but has to be considered only by the block designers to verify that the behavioral model in the block fulfills its interface contract. We exemplify the singletons by means of an authorization mechanism and discuss how to prove that the two views of its interface contract are consistent.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 6</org>
              <org type="consortium">WG 6.1</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-15514" status="INCOMING">
          <orgName>Department of Telematics</orgName>
          <desc>
            <address>
              <country key="NO"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-306300" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-263827" status="INCOMING">
          <orgName>Department of Telematics</orgName>
          <desc>
            <address>
              <addrLine>Trondheim</addrLine>
              <country key="NO"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-50794" type="direct"/>
            <relation active="#struct-264844" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-306300" status="INCOMING">
          <orgName>Norvegian University of Science, Trondheim</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-50794" status="VALID">
          <idno type="IdRef">077414217</idno>
          <idno type="ROR">https://ror.org/05xg72x27</idno>
          <orgName>Norwegian University of Science and Technology [Trondheim]</orgName>
          <orgName type="acronym">NTNU</orgName>
          <desc>
            <address>
              <addrLine>NO-7491 Trondheim</addrLine>
              <country key="NO"/>
            </address>
            <ref type="url">https://www.ntnu.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-264844" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-264844" status="VALID">
          <idno type="IdRef">077414217</idno>
          <idno type="ISNI">0000000115162393</idno>
          <idno type="ROR">https://ror.org/05xg72x27</idno>
          <idno type="Wikidata">Q314536</idno>
          <orgName>Norwegian University of Science and Technology =  Norges Teknisk-Naturvitenskapelige Universitet = Norjan teknis-luonnontieteellinen yliopisto</orgName>
          <orgName type="acronym">NTNU</orgName>
          <date type="start">1996-01-01</date>
          <desc>
            <address>
              <country key="NO"/>
            </address>
            <ref type="url">https://www.ntnu.edu/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>