Matches in SemOpenAlex for { <https://semopenalex.org/work/W2373555819> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2373555819 endingPage "1331" @default.
- W2373555819 startingPage "1324" @default.
- W2373555819 abstract "In this paper, a protection service model is proposed for an antivirus system. The proposed model has been focused on maintaining in secure state of the system. According to the proposed antivirus model, the required behavior has been specified as extended state machine diagrams and translated to temporal logic properties by using Computing Tree Logic language. Also the proposed model has been converted to aKripke Structure by using formal verification techniques. For proving the correctness and the reachability of proposed model, some properties of the proposed model are verified by using NuSMV model checker." @default.
- W2373555819 created "2016-06-24" @default.
- W2373555819 creator A5025006389 @default.
- W2373555819 creator A5038634615 @default.
- W2373555819 creator A5050355617 @default.
- W2373555819 creator A5080921529 @default.
- W2373555819 date "2015-01-01" @default.
- W2373555819 modified "2023-09-26" @default.
- W2373555819 title "Formalizing and Verification of an Antivirus Protection Service using Model Checking" @default.
- W2373555819 cites W1965722552 @default.
- W2373555819 cites W1990016010 @default.
- W2373555819 cites W1995841658 @default.
- W2373555819 cites W2001671731 @default.
- W2373555819 cites W2007593813 @default.
- W2373555819 cites W2011978840 @default.
- W2373555819 cites W2026361699 @default.
- W2373555819 cites W2036910349 @default.
- W2373555819 cites W2054093027 @default.
- W2373555819 cites W2063431930 @default.
- W2373555819 cites W2079923099 @default.
- W2373555819 cites W2140841825 @default.
- W2373555819 cites W2143669126 @default.
- W2373555819 cites W2168088856 @default.
- W2373555819 cites W2328277568 @default.
- W2373555819 doi "https://doi.org/10.1016/j.procs.2015.07.443" @default.
- W2373555819 hasPublicationYear "2015" @default.
- W2373555819 type Work @default.
- W2373555819 sameAs 2373555819 @default.
- W2373555819 citedByCount "19" @default.
- W2373555819 countsByYear W23735558192016 @default.
- W2373555819 countsByYear W23735558192017 @default.
- W2373555819 countsByYear W23735558192018 @default.
- W2373555819 countsByYear W23735558192019 @default.
- W2373555819 countsByYear W23735558192020 @default.
- W2373555819 countsByYear W23735558192021 @default.
- W2373555819 crossrefType "journal-article" @default.
- W2373555819 hasAuthorship W2373555819A5025006389 @default.
- W2373555819 hasAuthorship W2373555819A5038634615 @default.
- W2373555819 hasAuthorship W2373555819A5050355617 @default.
- W2373555819 hasAuthorship W2373555819A5080921529 @default.
- W2373555819 hasBestOaLocation W23735558191 @default.
- W2373555819 hasConcept C110251889 @default.
- W2373555819 hasConcept C111498074 @default.
- W2373555819 hasConcept C136643341 @default.
- W2373555819 hasConcept C144024400 @default.
- W2373555819 hasConcept C145243422 @default.
- W2373555819 hasConcept C167822520 @default.
- W2373555819 hasConcept C198008173 @default.
- W2373555819 hasConcept C199360897 @default.
- W2373555819 hasConcept C25016198 @default.
- W2373555819 hasConcept C2775940519 @default.
- W2373555819 hasConcept C36289849 @default.
- W2373555819 hasConcept C41008148 @default.
- W2373555819 hasConcept C4777664 @default.
- W2373555819 hasConcept C48103436 @default.
- W2373555819 hasConcept C55439883 @default.
- W2373555819 hasConcept C80444323 @default.
- W2373555819 hasConceptScore W2373555819C110251889 @default.
- W2373555819 hasConceptScore W2373555819C111498074 @default.
- W2373555819 hasConceptScore W2373555819C136643341 @default.
- W2373555819 hasConceptScore W2373555819C144024400 @default.
- W2373555819 hasConceptScore W2373555819C145243422 @default.
- W2373555819 hasConceptScore W2373555819C167822520 @default.
- W2373555819 hasConceptScore W2373555819C198008173 @default.
- W2373555819 hasConceptScore W2373555819C199360897 @default.
- W2373555819 hasConceptScore W2373555819C25016198 @default.
- W2373555819 hasConceptScore W2373555819C2775940519 @default.
- W2373555819 hasConceptScore W2373555819C36289849 @default.
- W2373555819 hasConceptScore W2373555819C41008148 @default.
- W2373555819 hasConceptScore W2373555819C4777664 @default.
- W2373555819 hasConceptScore W2373555819C48103436 @default.
- W2373555819 hasConceptScore W2373555819C55439883 @default.
- W2373555819 hasConceptScore W2373555819C80444323 @default.
- W2373555819 hasLocation W23735558191 @default.
- W2373555819 hasOpenAccess W2373555819 @default.
- W2373555819 hasPrimaryLocation W23735558191 @default.
- W2373555819 hasRelatedWork W1515452107 @default.
- W2373555819 hasRelatedWork W1987761485 @default.
- W2373555819 hasRelatedWork W2051068608 @default.
- W2373555819 hasRelatedWork W2126058650 @default.
- W2373555819 hasRelatedWork W2152382912 @default.
- W2373555819 hasRelatedWork W2373555819 @default.
- W2373555819 hasRelatedWork W2741430969 @default.
- W2373555819 hasRelatedWork W2803699674 @default.
- W2373555819 hasRelatedWork W2963209892 @default.
- W2373555819 hasRelatedWork W2555151747 @default.
- W2373555819 hasVolume "57" @default.
- W2373555819 isParatext "false" @default.
- W2373555819 isRetracted "false" @default.
- W2373555819 magId "2373555819" @default.
- W2373555819 workType "article" @default.