<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "https://jats.nlm.nih.gov/publishing/1.3/JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xml:lang="en">
  <front xmlns:xlink="http://www.w3.org/1999/xlink">
    <journal-meta>
      <journal-id journal-id-type="elibrary">9004</journal-id>
      <journal-title-group>
        <journal-title>Problems of information security. Computer systems</journal-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Проблемы информационной безопасности. Компьютерные системы</trans-title>
        </trans-title-group>
      </journal-title-group>
      <issn pub-type="epub">2071-8217</issn>
    </journal-meta>
    <article-meta xmlns:xlink="http://www.w3.org/1999/xlink">
      <article-id pub-id-type="publisher-id">9</article-id>
      <article-id pub-id-type="doi">10.48612/jisp/6h6a-6kzh-84g3</article-id>
      <title-group>
        <article-title>Automated security analysis of software for the Android operating system</article-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Автоматизированный анализ безопасности программного обеспечения для ОС Android</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <contrib-id contrib-id-type="orcid">0000-0003-1345-1874</contrib-id>
          <name>
            <surname>Pavlenko</surname>
            <given-names>Evgeny</given-names>
          </name>
          <xref ref-type="aff" rid="aff1"/>
          <email>pavlenko_eyu@spbstu.ru</email>
        </contrib>
        <contrib contrib-type="author">
          <contrib-id contrib-id-type="orcid">0009-0002-7009-2265</contrib-id>
          <name>
            <surname>Anoshkin</surname>
            <given-names>Ilya</given-names>
          </name>
          <xref ref-type="aff" rid="aff1"/>
          <email>ilya.anoschkin@outlook.com</email>
        </contrib>
      </contrib-group>
      <aff id="aff1">Peter the Great St. Petersburg Polytechnic University</aff>
      <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2025-08-25">
        <day>25</day>
        <month>08</month>
        <year>2025</year>
      </pub-date>
      <issue>Спецвыпуск</issue>
      <fpage>112</fpage>
      <lpage>123</lpage>
      <self-uri xmlns:xlink="http://www.w3.org/1999/xlink" content-type="pdf" xlink:href="https://jisp.spbstu.ru/userfiles/files/soderzhaniya/2025_spetsvipusk-7-8.pdf"/>
      <abstract xml:lang="en">
        <p>This paper presents methods of automated security analysis of Android applications, which can be used to search for cryptographic vulnerabilities, vulnerabilities of third-party software components, authentication, authorization, as well as to detect the storage and transmission of sensitive information in plaintext. The accuracy of search for the given types of vulnerabilities by means of automated vulnerability search and software prototype is analyzed.</p>
      </abstract>
      <kwd-group xml:lang="en">
        <kwd>Android</kwd>
        <kwd>vulnerability scanning</kwd>
        <kwd>dynamic instrumentation</kwd>
        <kwd>security standard</kwd>
      </kwd-group>
    </article-meta>
  </front>
</article>
