<?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-01444488</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-21T00:05:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Verification of Mutual Authentication Protocol for MobInfoSec System</title>
            <author role="aut">
              <persName>
                <forename type="first">Olga</forename>
                <surname>Siedlecka-Lamch</surname>
              </persName>
              <email type="md5">43e984926d4fab4196197b8f0cb7977e</email>
              <email type="domain">icis.pcz.pl</email>
              <idno type="idhal" notation="numeric">999196</idno>
              <idno type="halauthorid" notation="string">1116868-999196</idno>
              <affiliation ref="#struct-480369"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Imed</forename>
                <forename type="middle">El</forename>
                <surname>Fray</surname>
              </persName>
              <email type="md5">a756a64eeec034e4d036329276782dbd</email>
              <email type="domain">zut.edu.pl</email>
              <idno type="idhal" notation="numeric">994971</idno>
              <idno type="halauthorid" notation="string">1086733-994971</idno>
              <affiliation ref="#struct-474215"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mirosław</forename>
                <surname>Kurkowski</surname>
              </persName>
              <email type="md5">4b0ef975adec17f1b93aae0283246b2b</email>
              <email type="domain">uksw.edu.pl</email>
              <idno type="idhal" notation="numeric">999197</idno>
              <idno type="halauthorid" notation="string">1116869-999197</idno>
              <affiliation ref="#struct-426074"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jerzy</forename>
                <surname>Pejaś</surname>
              </persName>
              <email type="md5">62f11d49f1bbe6f99a9cfcd86ca1511b</email>
              <email type="domain">zut.edu.pl</email>
              <idno type="idhal" notation="numeric">994975</idno>
              <idno type="halauthorid" notation="string">1086737-994975</idno>
              <affiliation ref="#struct-474215"/>
            </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-01-24 10:41:17</date>
              <date type="whenModified">2022-08-05 14:33:31</date>
              <date type="whenReleased">2017-01-24 10:54:09</date>
              <date type="whenProduced">2015-09-24</date>
              <date type="whenEndEmbargoed">2018-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01444488v1/document">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01444488v1/file/978-3-319-24369-6_38_Chapter.pdf" id="file-1444488-1522124">
                <date notBefore="2018-01-01"/>
              </ref>
            </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-01444488</idno>
            <idno type="halUri">https://inria.hal.science/hal-01444488</idno>
            <idno type="halBibtex">siedleckalamch:hal-01444488</idno>
            <idno type="halRefHtml">&lt;i&gt;14th Computer Information Systems and Industrial Management (CISIM)&lt;/i&gt;, Sep 2015, Warsaw, Poland. pp.461-474, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-24369-6_38"&gt;&amp;#x27E8;10.1007/978-3-319-24369-6_38&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.461-474, &amp;#x27E8;10.1007/978-3-319-24369-6_38&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1444488-1522124"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SHS">Sciences de l'Homme et de la Société</idno>
            <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-TC8" corresp="IFIP-TC">IFIP-TC8: Information Systems</idno>
            <idno type="stamp" n="IFIP-CISIM">IFIP-CISIM</idno>
            <idno type="stamp" n="IFIP-LNCS-9339" corresp="IFIP-LNCS">Computer Information Systems and Industrial Management</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 7: Various Aspects of Computer Security</note>
            <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">Verification of Mutual Authentication Protocol for MobInfoSec System</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Olga</forename>
                    <surname>Siedlecka-Lamch</surname>
                  </persName>
                  <email type="md5">43e984926d4fab4196197b8f0cb7977e</email>
                  <email type="domain">icis.pcz.pl</email>
                  <idno type="idhal" notation="numeric">999196</idno>
                  <idno type="halauthorid" notation="string">1116868-999196</idno>
                  <affiliation ref="#struct-480369"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Imed</forename>
                    <forename type="middle">El</forename>
                    <surname>Fray</surname>
                  </persName>
                  <email type="md5">a756a64eeec034e4d036329276782dbd</email>
                  <email type="domain">zut.edu.pl</email>
                  <idno type="idhal" notation="numeric">994971</idno>
                  <idno type="halauthorid" notation="string">1086733-994971</idno>
                  <affiliation ref="#struct-474215"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mirosław</forename>
                    <surname>Kurkowski</surname>
                  </persName>
                  <email type="md5">4b0ef975adec17f1b93aae0283246b2b</email>
                  <email type="domain">uksw.edu.pl</email>
                  <idno type="idhal" notation="numeric">999197</idno>
                  <idno type="halauthorid" notation="string">1116869-999197</idno>
                  <affiliation ref="#struct-426074"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jerzy</forename>
                    <surname>Pejaś</surname>
                  </persName>
                  <email type="md5">62f11d49f1bbe6f99a9cfcd86ca1511b</email>
                  <email type="domain">zut.edu.pl</email>
                  <idno type="idhal" notation="numeric">994975</idno>
                  <idno type="halauthorid" notation="string">1086737-994975</idno>
                  <affiliation ref="#struct-474215"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>14th Computer Information Systems and Industrial Management (CISIM)</title>
                  <date type="start">2015-09-24</date>
                  <date type="end">2015-09-26</date>
                  <settlement>Warsaw</settlement>
                  <country key="PL">Poland</country>
                </meeting>
                <editor>Khalid Saeed</editor>
                <editor>Władysław Homenda</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Computer Information Systems and Industrial Management</biblScope>
                  <biblScope unit="volume">LNCS-9339</biblScope>
                  <biblScope unit="pp">461-474</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-24369-6_38</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Secure communication channel</term>
                <term xml:lang="en">Sensitive information</term>
                <term xml:lang="en">Mobile device</term>
                <term xml:lang="en">One-to-many protocol</term>
                <term xml:lang="en">Authentication protocols</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="shs.info">Humanities and Social Sciences/Library and information sciences</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>This paper presents a detailed analysis of the mutual authentication protocol developed especially for the system MobInfoSec - for a mobile device to share and protect classified information. MobInfoSec uses fine-grained access rules described by general access structures. In this paper we describe the architecture and functioning of the system, and the requirements imposed on cryptographic authentication protocols, resulting from both: standards, the collection of good practices, as well as directly from the vision of the system. The article contains a description of the protocol’s parts and formal analysis of its security.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 8</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-480369" status="VALID">
          <orgName>Częstochowa University of Technology</orgName>
          <date type="start">2017-01-25</date>
          <desc>
            <address>
              <country key="PL"/>
            </address>
            <ref type="url">http://www.pcz.pl/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-474215" status="VALID">
          <orgName>West Pomeranian University of Technology Szczecin</orgName>
          <date type="start">2016-12-01</date>
          <desc>
            <address>
              <country key="PL"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-426074" status="VALID">
          <orgName>Cardinal Stefan Wyszyński University</orgName>
          <orgName type="acronym">UKSW</orgName>
          <desc>
            <address>
              <addrLine>Dewajtis 5, 00-001 Warszawa</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">http://www.uksw.edu.pl/pl/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>