Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385192523> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W4385192523 abstract "The gap between the design and implementation of software for IoT security and forensics are often ambiguous and loose. Formal languages in the class of process algebra based on mathematical rules, logic and symbols, as a mean of expressing system specifications, proved to be valuable to systems’ design and verifications. There are several semi-formal and formal languages as such JSON, XML, predicate logic, and regular expressions and formal model of computations such as Turing machines etc. Each dedicated to specific areas. This paper introduces a new formal language, called ATFL (A Transaction Formal Language), developed initially for IoT forensics and authentications. The specifications of two cases, an IoT device login and an SDN wireless controller, are presented and verified, to expose the propensity and the generalization of the proposed formal language." @default.
- W4385192523 created "2023-07-25" @default.
- W4385192523 creator A5003017750 @default.
- W4385192523 date "2023-05-24" @default.
- W4385192523 modified "2023-09-23" @default.
- W4385192523 title "A Formal Language for Actors’ Interactions" @default.
- W4385192523 doi "https://doi.org/10.1109/itt59889.2023.10184270" @default.
- W4385192523 hasPublicationYear "2023" @default.
- W4385192523 type Work @default.
- W4385192523 citedByCount "0" @default.
- W4385192523 crossrefType "proceedings-article" @default.
- W4385192523 hasAuthorship W4385192523A5003017750 @default.
- W4385192523 hasConcept C111498074 @default.
- W4385192523 hasConcept C116253237 @default.
- W4385192523 hasConcept C146072743 @default.
- W4385192523 hasConcept C154945302 @default.
- W4385192523 hasConcept C155214134 @default.
- W4385192523 hasConcept C156325763 @default.
- W4385192523 hasConcept C161771561 @default.
- W4385192523 hasConcept C171553443 @default.
- W4385192523 hasConcept C184337299 @default.
- W4385192523 hasConcept C199360897 @default.
- W4385192523 hasConcept C2780416260 @default.
- W4385192523 hasConcept C41008148 @default.
- W4385192523 hasConcept C53893814 @default.
- W4385192523 hasConcept C75606506 @default.
- W4385192523 hasConcept C80444323 @default.
- W4385192523 hasConceptScore W4385192523C111498074 @default.
- W4385192523 hasConceptScore W4385192523C116253237 @default.
- W4385192523 hasConceptScore W4385192523C146072743 @default.
- W4385192523 hasConceptScore W4385192523C154945302 @default.
- W4385192523 hasConceptScore W4385192523C155214134 @default.
- W4385192523 hasConceptScore W4385192523C156325763 @default.
- W4385192523 hasConceptScore W4385192523C161771561 @default.
- W4385192523 hasConceptScore W4385192523C171553443 @default.
- W4385192523 hasConceptScore W4385192523C184337299 @default.
- W4385192523 hasConceptScore W4385192523C199360897 @default.
- W4385192523 hasConceptScore W4385192523C2780416260 @default.
- W4385192523 hasConceptScore W4385192523C41008148 @default.
- W4385192523 hasConceptScore W4385192523C53893814 @default.
- W4385192523 hasConceptScore W4385192523C75606506 @default.
- W4385192523 hasConceptScore W4385192523C80444323 @default.
- W4385192523 hasLocation W43851925231 @default.
- W4385192523 hasOpenAccess W4385192523 @default.
- W4385192523 hasPrimaryLocation W43851925231 @default.
- W4385192523 hasRelatedWork W1502188990 @default.
- W4385192523 hasRelatedWork W1524361563 @default.
- W4385192523 hasRelatedWork W1536552036 @default.
- W4385192523 hasRelatedWork W2035334563 @default.
- W4385192523 hasRelatedWork W2140312540 @default.
- W4385192523 hasRelatedWork W2156223462 @default.
- W4385192523 hasRelatedWork W2157424552 @default.
- W4385192523 hasRelatedWork W2387645942 @default.
- W4385192523 hasRelatedWork W2897842245 @default.
- W4385192523 hasRelatedWork W4210657939 @default.
- W4385192523 isParatext "false" @default.
- W4385192523 isRetracted "false" @default.
- W4385192523 workType "article" @default.