1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/605
DC FieldValueLanguage
dc.contributor.authorVujošević Janičić, Milenaen_US
dc.contributor.authorMarić, Filipen_US
dc.contributor.authorTošić, Dušanen_US
dc.date.accessioned2022-08-13T15:50:06Z-
dc.date.available2022-08-13T15:50:06Z-
dc.date.issued2009-01-01-
dc.identifier.issn03540243en
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/605-
dc.description.abstractIn this paper we have discussed the application of the Simplex method in checking software safety - the application in automated detection of buffer overflows in C programs. This problem is important because buffer overflows are suitable targets for hackers' security attacks and sources of serious program misbehavior. We have also described our implementation, including a system for generating software correctness conditions and a Simplex based theorem prover that resolves these conditions.en
dc.relation.ispartofYugoslav Journal of Operations Researchen
dc.subjectBuffer overflowsen
dc.subjectSimplex methoden
dc.subjectSoftware safetyen
dc.titleUsing simplex method in verifying software safetyen_US
dc.typeArticleen_US
dc.identifier.doi10.2298/YJOR0901133V-
dc.identifier.scopus2-s2.0-84880790086-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/84880790086-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.firstpage133en
dc.relation.lastpage148en
dc.relation.volume19en
dc.relation.issue1en
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-5396-0644-
crisitem.author.orcid0000-0001-7219-6960-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

1
checked on Dec 19, 2024

Page view(s)

16
checked on Dec 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.