Matches in SemOpenAlex for { <https://semopenalex.org/work/W2083671036> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2083671036 abstract "In our integrated model-based development process for security monitors, we use Live Sequence Charts (LSCs) as expressive, formal specification. Generating target specific monitors from these, requires a complex interpretation of their syntax and semantics. In this paper, we propose a Petri Net dialect as an intermediate language for monitor generation---named Monitor Petri Nets (MPNs). It is based on standard Petri Nets that are syntactically and semantically extended to suit the needs of monitoring. With our MPNs, we are able to represent use and misuse cases described by LSCs in a format that is easy to interpret. MPNs provide the basis for the generation of SW/HW security monitors or can alternatively be interpreted by a generic monitor." @default.
- W2083671036 created "2016-06-24" @default.
- W2083671036 creator A5013053241 @default.
- W2083671036 creator A5013933753 @default.
- W2083671036 creator A5057886598 @default.
- W2083671036 creator A5088842939 @default.
- W2083671036 date "2010-09-14" @default.
- W2083671036 modified "2023-10-16" @default.
- W2083671036 title "Monitor petri nets for security monitoring" @default.
- W2083671036 cites W1592055490 @default.
- W2083671036 cites W1965893939 @default.
- W2083671036 cites W1983953900 @default.
- W2083671036 cites W1990798399 @default.
- W2083671036 cites W1992138240 @default.
- W2083671036 cites W2046266647 @default.
- W2083671036 cites W2064919863 @default.
- W2083671036 cites W2108678312 @default.
- W2083671036 cites W2125589706 @default.
- W2083671036 cites W2136117679 @default.
- W2083671036 cites W2150543695 @default.
- W2083671036 cites W2159584786 @default.
- W2083671036 doi "https://doi.org/10.1145/1868433.1868438" @default.
- W2083671036 hasPublicationYear "2010" @default.
- W2083671036 type Work @default.
- W2083671036 sameAs 2083671036 @default.
- W2083671036 citedByCount "4" @default.
- W2083671036 countsByYear W20836710362013 @default.
- W2083671036 crossrefType "proceedings-article" @default.
- W2083671036 hasAuthorship W2083671036A5013053241 @default.
- W2083671036 hasAuthorship W2083671036A5013933753 @default.
- W2083671036 hasAuthorship W2083671036A5057886598 @default.
- W2083671036 hasAuthorship W2083671036A5088842939 @default.
- W2083671036 hasBestOaLocation W20836710362 @default.
- W2083671036 hasConcept C115903868 @default.
- W2083671036 hasConcept C136155141 @default.
- W2083671036 hasConcept C154945302 @default.
- W2083671036 hasConcept C184337299 @default.
- W2083671036 hasConcept C199360897 @default.
- W2083671036 hasConcept C38677869 @default.
- W2083671036 hasConcept C41008148 @default.
- W2083671036 hasConcept C60048249 @default.
- W2083671036 hasConcept C98045186 @default.
- W2083671036 hasConceptScore W2083671036C115903868 @default.
- W2083671036 hasConceptScore W2083671036C136155141 @default.
- W2083671036 hasConceptScore W2083671036C154945302 @default.
- W2083671036 hasConceptScore W2083671036C184337299 @default.
- W2083671036 hasConceptScore W2083671036C199360897 @default.
- W2083671036 hasConceptScore W2083671036C38677869 @default.
- W2083671036 hasConceptScore W2083671036C41008148 @default.
- W2083671036 hasConceptScore W2083671036C60048249 @default.
- W2083671036 hasConceptScore W2083671036C98045186 @default.
- W2083671036 hasLocation W20836710361 @default.
- W2083671036 hasLocation W20836710362 @default.
- W2083671036 hasOpenAccess W2083671036 @default.
- W2083671036 hasPrimaryLocation W20836710361 @default.
- W2083671036 hasRelatedWork W1484781210 @default.
- W2083671036 hasRelatedWork W1506247301 @default.
- W2083671036 hasRelatedWork W1587224678 @default.
- W2083671036 hasRelatedWork W1855927527 @default.
- W2083671036 hasRelatedWork W2047793074 @default.
- W2083671036 hasRelatedWork W2118877810 @default.
- W2083671036 hasRelatedWork W2151216654 @default.
- W2083671036 hasRelatedWork W2355954834 @default.
- W2083671036 hasRelatedWork W3146561611 @default.
- W2083671036 hasRelatedWork W4246531319 @default.
- W2083671036 isParatext "false" @default.
- W2083671036 isRetracted "false" @default.
- W2083671036 magId "2083671036" @default.
- W2083671036 workType "article" @default.