Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893316171> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2893316171 abstract "Security has become an important concern with the development of large scale distributed and heterogeneous multi-agent systems (MAS). One of the main problems in addressing security during the development of MAS is that security is often an afterthought. The cost involved to patch existing systems against vulnerabilities and attacks after deployment is high. If developers and designers can spend some quality time investigating security aspects before beginning to code then this cost can be reduced significantly. Also, using formal methods to specify the complex behavior of large scale software systems has resulted in reliable software systems. This research effort was focused on using formal methods early in the development life cycle to specify security requirements for MAS. New solutions are emerging to fix security related issues, but how much thought gets in during the early phases of development in terms of security needs to be answered. In this paper, analysis of security requirements for MAS, existing solutions to secure MAS, and the use of formal methods to specify security requirements has been studied. Descartes - Agent, a formal specification language for specifying agent systems has been taken into study to model the security requirements of MAS early on in the development process. Functional specifications of MAS are modelled along with the non-functional security requirements using the Descartes - Agent specification language. A case study example is used to illustrate the specification of security requirements in MAS using the Descartes - Agent." @default.
- W2893316171 created "2018-10-05" @default.
- W2893316171 creator A5030549905 @default.
- W2893316171 creator A5089099167 @default.
- W2893316171 date "2018-09-26" @default.
- W2893316171 modified "2023-10-17" @default.
- W2893316171 title "Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems" @default.
- W2893316171 cites W1524147119 @default.
- W2893316171 cites W1549629574 @default.
- W2893316171 cites W1968941413 @default.
- W2893316171 cites W1984500184 @default.
- W2893316171 cites W2002639138 @default.
- W2893316171 cites W2007231177 @default.
- W2893316171 cites W2081105739 @default.
- W2893316171 cites W2098812780 @default.
- W2893316171 cites W2116626663 @default.
- W2893316171 cites W2127221278 @default.
- W2893316171 cites W2137073376 @default.
- W2893316171 cites W2153281196 @default.
- W2893316171 cites W2153966110 @default.
- W2893316171 cites W2158572645 @default.
- W2893316171 cites W2166130341 @default.
- W2893316171 cites W2199936321 @default.
- W2893316171 cites W2395994884 @default.
- W2893316171 cites W2399345027 @default.
- W2893316171 cites W2430131036 @default.
- W2893316171 cites W2483868937 @default.
- W2893316171 cites W2513506956 @default.
- W2893316171 cites W2501698957 @default.
- W2893316171 doi "https://doi.org/10.15439/2018f262" @default.
- W2893316171 hasPublicationYear "2018" @default.
- W2893316171 type Work @default.
- W2893316171 sameAs 2893316171 @default.
- W2893316171 citedByCount "6" @default.
- W2893316171 countsByYear W28933161712019 @default.
- W2893316171 countsByYear W28933161712020 @default.
- W2893316171 countsByYear W28933161712021 @default.
- W2893316171 crossrefType "proceedings-article" @default.
- W2893316171 hasAuthorship W2893316171A5030549905 @default.
- W2893316171 hasAuthorship W2893316171A5089099167 @default.
- W2893316171 hasBestOaLocation W28933161711 @default.
- W2893316171 hasConcept C111498074 @default.
- W2893316171 hasConcept C115903868 @default.
- W2893316171 hasConcept C116253237 @default.
- W2893316171 hasConcept C199360897 @default.
- W2893316171 hasConcept C38652104 @default.
- W2893316171 hasConcept C41008148 @default.
- W2893316171 hasConcept C75606506 @default.
- W2893316171 hasConceptScore W2893316171C111498074 @default.
- W2893316171 hasConceptScore W2893316171C115903868 @default.
- W2893316171 hasConceptScore W2893316171C116253237 @default.
- W2893316171 hasConceptScore W2893316171C199360897 @default.
- W2893316171 hasConceptScore W2893316171C38652104 @default.
- W2893316171 hasConceptScore W2893316171C41008148 @default.
- W2893316171 hasConceptScore W2893316171C75606506 @default.
- W2893316171 hasLocation W28933161711 @default.
- W2893316171 hasOpenAccess W2893316171 @default.
- W2893316171 hasPrimaryLocation W28933161711 @default.
- W2893316171 hasRelatedWork W1524361563 @default.
- W2893316171 hasRelatedWork W1559122068 @default.
- W2893316171 hasRelatedWork W1571738907 @default.
- W2893316171 hasRelatedWork W1911633385 @default.
- W2893316171 hasRelatedWork W1988166986 @default.
- W2893316171 hasRelatedWork W2072697836 @default.
- W2893316171 hasRelatedWork W2117700306 @default.
- W2893316171 hasRelatedWork W2118077887 @default.
- W2893316171 hasRelatedWork W2132815515 @default.
- W2893316171 hasRelatedWork W61995002 @default.
- W2893316171 isParatext "false" @default.
- W2893316171 isRetracted "false" @default.
- W2893316171 magId "2893316171" @default.
- W2893316171 workType "article" @default.