Matches in SemOpenAlex for { <https://semopenalex.org/work/W2884848436> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2884848436 abstract "Certifying security controls is required for information systems that are either federally maintained or maintained by a US government contractor. As described in the NIST SP800-53, certified and accredited information systems are deployed with an acceptable security threat risk. Self-adaptive information systems that allow functional and decision-making changes to be dynamically configured at runtime may violate security controls increasing the risk of security threat to the system. Methods are needed to formalize the process of certification for security controls by expressing and verifying the functional and non-functional requirements to determine what risks are introduced through self-adaptation. We formally express the existence and behavior requirements of the mechanisms needed to guarantee the security controls' effectiveness using audit controls on program example. To reason over the risk of security control compliance given runtime self-adaptations, we use the KIV theorem prover on the functional requirements, extracting the verification concerns and workflow associated with the proof process. We augment the MAPE-K control loop planner with knowledge of the mechanisms that satisfy the existence criteria expressed by the security controls. We compare self-adaptive plans to assess their risk of security control violation prior to plan deployment." @default.
- W2884848436 created "2018-08-03" @default.
- W2884848436 creator A5003869632 @default.
- W2884848436 creator A5038422352 @default.
- W2884848436 creator A5088977884 @default.
- W2884848436 date "2018-05-28" @default.
- W2884848436 modified "2023-09-24" @default.
- W2884848436 title "Toward evaluating the impact of self-adaptation on security control certification" @default.
- W2884848436 cites W1542535462 @default.
- W2884848436 cites W1964202794 @default.
- W2884848436 cites W1998987919 @default.
- W2884848436 cites W2022106311 @default.
- W2884848436 cites W2036625623 @default.
- W2884848436 cites W2045521911 @default.
- W2884848436 cites W2071616717 @default.
- W2884848436 cites W2079614594 @default.
- W2884848436 cites W2090398333 @default.
- W2884848436 cites W2134364383 @default.
- W2884848436 cites W2142925340 @default.
- W2884848436 cites W2225615039 @default.
- W2884848436 cites W2496448904 @default.
- W2884848436 cites W2730252526 @default.
- W2884848436 cites W4249484115 @default.
- W2884848436 doi "https://doi.org/10.1145/3194133.3194139" @default.
- W2884848436 hasPublicationYear "2018" @default.
- W2884848436 type Work @default.
- W2884848436 sameAs 2884848436 @default.
- W2884848436 citedByCount "3" @default.
- W2884848436 countsByYear W28848484362018 @default.
- W2884848436 countsByYear W28848484362019 @default.
- W2884848436 countsByYear W28848484362021 @default.
- W2884848436 crossrefType "proceedings-article" @default.
- W2884848436 hasAuthorship W2884848436A5003869632 @default.
- W2884848436 hasAuthorship W2884848436A5038422352 @default.
- W2884848436 hasAuthorship W2884848436A5088977884 @default.
- W2884848436 hasBestOaLocation W28848484361 @default.
- W2884848436 hasConcept C139807058 @default.
- W2884848436 hasConcept C154945302 @default.
- W2884848436 hasConcept C15744967 @default.
- W2884848436 hasConcept C169760540 @default.
- W2884848436 hasConcept C17744445 @default.
- W2884848436 hasConcept C199539241 @default.
- W2884848436 hasConcept C2775924081 @default.
- W2884848436 hasConcept C38652104 @default.
- W2884848436 hasConcept C41008148 @default.
- W2884848436 hasConcept C46304622 @default.
- W2884848436 hasConceptScore W2884848436C139807058 @default.
- W2884848436 hasConceptScore W2884848436C154945302 @default.
- W2884848436 hasConceptScore W2884848436C15744967 @default.
- W2884848436 hasConceptScore W2884848436C169760540 @default.
- W2884848436 hasConceptScore W2884848436C17744445 @default.
- W2884848436 hasConceptScore W2884848436C199539241 @default.
- W2884848436 hasConceptScore W2884848436C2775924081 @default.
- W2884848436 hasConceptScore W2884848436C38652104 @default.
- W2884848436 hasConceptScore W2884848436C41008148 @default.
- W2884848436 hasConceptScore W2884848436C46304622 @default.
- W2884848436 hasFunder F4320338294 @default.
- W2884848436 hasLocation W28848484361 @default.
- W2884848436 hasOpenAccess W2884848436 @default.
- W2884848436 hasPrimaryLocation W28848484361 @default.
- W2884848436 hasRelatedWork W1543657218 @default.
- W2884848436 hasRelatedWork W1571518467 @default.
- W2884848436 hasRelatedWork W1576801573 @default.
- W2884848436 hasRelatedWork W189527659 @default.
- W2884848436 hasRelatedWork W2020291234 @default.
- W2884848436 hasRelatedWork W2047649869 @default.
- W2884848436 hasRelatedWork W2076610045 @default.
- W2884848436 hasRelatedWork W2094520212 @default.
- W2884848436 hasRelatedWork W2135121413 @default.
- W2884848436 hasRelatedWork W87991986 @default.
- W2884848436 isParatext "false" @default.
- W2884848436 isRetracted "false" @default.
- W2884848436 magId "2884848436" @default.
- W2884848436 workType "article" @default.