Secure code execution system operation algorithm

The article presented a set of algorithms that form the basis of the safe code execution system. The functional purpose of it is to investigate arbitrary executable files of the operating system in the absence of source codes in order to provide the ability to control the execution of the program co...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Trudy Instituta sistemnogo programmirovaniâ Ročník 29; číslo 3; s. 17 - 30
Hlavní autori: Kozachok, A.V., Kochetkov, E.V.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Predmet:
алгоритм
вредоносное программное обеспечение
ISSN:2079-8156, 2220-6426
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract The article presented a set of algorithms that form the basis of the safe code execution system. The functional purpose of it is to investigate arbitrary executable files of the operating system in the absence of source codes in order to provide the ability to control the execution of the program code within the specified functional requirements. The set of algorithms presented in this work includes: the algorithm for the functioning of a system for the safe execution of the program code; the algorithm for constructing a program model suitable for verification, which accurately preserves the properties of the source program.
AbstractList The article presented a set of algorithms that form the basis of the safe code execution system. The functional purpose of it is to investigate arbitrary executable files of the operating system in the absence of source codes in order to provide the ability to control the execution of the program code within the specified functional requirements. The set of algorithms presented in this work includes: the algorithm for the functioning of a system for the safe execution of the program code; the algorithm for constructing a program model suitable for verification, which accurately preserves the properties of the source program.
Author Kochetkov, E.V.
Kozachok, A.V.
Author_xml – sequence: 1
  givenname: A.V.
  surname: Kozachok
  fullname: Kozachok, A.V.
– sequence: 2
  givenname: E.V.
  surname: Kochetkov
  fullname: Kochetkov, E.V.
BookMark eNo9kE1PAjEQhhuDiYj8Aw8c9VCdme5ut0dC_CAh0Yiem9m2i0uAku6ayL93BeNp3nkPz2SeSzHYxV0Q4hrhDvMcs_v58vVtupQEqCWZG3Ur6UwMiQhkkVEx6DNoI0vMiwsxbts1AFAOWgEOBSyD-0ph4qIPk_DdL10Td5P20HZhO4n7kPhY8GYVU9N9bq_Eec2bNoz_5kh8PD68z57l4uVpPpsupOvvkHTkClP5OjOlKoJXirmsQ-5NAKw4gGbQXtUOs6KksvTKFeCNrhg8Gs2sRmJ-4vrIa7tPzZbTwUZu7LGIaWU5dY3bBOtKqk2tET2FjIkr0_-uEFWODA59z8pOLJdi26ZQ__MQ7FGiPUm0vxItGausJfUDLNhnCQ
ContentType Journal Article
DBID AAYXX
CITATION
DOA
DOI 10.15514/ISPRAS-2017-29(3)-2
DatabaseName CrossRef
DOAJ Directory of Open Access Journals (WRLC)
DatabaseTitle CrossRef
DatabaseTitleList
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2220-6426
EndPage 30
ExternalDocumentID oai_doaj_org_article_c82f9f711d2e4a2ab9220311351a0c1d
10_15514_ISPRAS_2017_29_3__2
GroupedDBID 642
AAYXX
ALMA_UNASSIGNED_HOLDINGS
CITATION
GROUPED_DOAJ
OK1
ID FETCH-LOGICAL-c1562-c2c69bdf49836ed33aa8fe5d9e01bae07a07d3fc1468288d3c60d97ba0d197aa3
IEDL.DBID DOA
ISSN 2079-8156
IngestDate Mon Nov 03 21:46:07 EST 2025
Sat Nov 29 05:34:01 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 3
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c1562-c2c69bdf49836ed33aa8fe5d9e01bae07a07d3fc1468288d3c60d97ba0d197aa3
OpenAccessLink https://doaj.org/article/c82f9f711d2e4a2ab9220311351a0c1d
PageCount 14
ParticipantIDs doaj_primary_oai_doaj_org_article_c82f9f711d2e4a2ab9220311351a0c1d
crossref_primary_10_15514_ISPRAS_2017_29_3__2
PublicationCentury 2000
PublicationDate 2018-10-01
PublicationDateYYYYMMDD 2018-10-01
PublicationDate_xml – month: 10
  year: 2018
  text: 2018-10-01
  day: 01
PublicationDecade 2010
PublicationTitle Trudy Instituta sistemnogo programmirovaniâ
PublicationYear 2018
Publisher Russian Academy of Sciences, Ivannikov Institute for System Programming
Publisher_xml – name: Russian Academy of Sciences, Ivannikov Institute for System Programming
SSID ssj0002507301
Score 2.0420835
Snippet The article presented a set of algorithms that form the basis of the safe code execution system. The functional purpose of it is to investigate arbitrary...
SourceID doaj
crossref
SourceType Open Website
Index Database
StartPage 17
SubjectTerms алгоритм
вредоносное программное обеспечение
Title Secure code execution system operation algorithm
URI https://doaj.org/article/c82f9f711d2e4a2ab9220311351a0c1d
Volume 29
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2220-6426
  dateEnd: 20201231
  omitProxy: false
  ssIdentifier: ssj0002507301
  issn: 2079-8156
  databaseCode: DOA
  dateStart: 20100101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LSwMxEA5SPHjxLb7JwYMeQrNJukmOVSx6KcUq9BbyWi1oW2oVf76ZzVbqyYvHXZYw-80zIfMNQhdCCR2F5UR2QiTAKZVcSpXEUSWEcBpouuphE7LfV6ORHqyM-oI7YZkeOAPX9opVupJFEVhak1mnGUuGCIPlLPVFgOibqp6VzRTE4JTYwXRhshyVcM7VKZu-OagQ2vfDwUN3mCwkhWimL_kVYb_y0gp9f51nettosykQcTcLtoPW4mQXbS2HL-DGF_cQrU_KI4aedBy_0gNAjDMzM57OYlYttq_P0_l48fK2j556t483d6QZf0B8EpcRz3ypXaiEVryMgXNrVRU7QUdaOBuptFQGXnlonmJKBe5LGrR0loZCS2v5AWpNppN4iHCsGOelcglAJ5iQqUq0gtEqqtL75LVHiCx_3swyy4WB3QGAZTJYBsAyTBtuDDtC14DQz7fAUV2_SJozjebMX5o7_o9FTtBGEiwz1BanqLWYf8QztO4_F-P3-XltFN_3jLZ2
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Secure+code+execution+system+operation+algorithm&rft.jtitle=Trudy+Instituta+sistemnogo+programmirovani%C3%A2&rft.au=Kozachok%2C+A.V.&rft.au=Kochetkov%2C+E.V.&rft.date=2018-10-01&rft.issn=2079-8156&rft.eissn=2220-6426&rft.volume=29&rft.issue=3&rft.spage=17&rft.epage=30&rft_id=info:doi/10.15514%2FISPRAS-2017-29%283%29-2&rft.externalDBID=n%2Fa&rft.externalDocID=10_15514_ISPRAS_2017_29_3__2
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2079-8156&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2079-8156&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2079-8156&client=summon