Matches in SemOpenAlex for { <https://semopenalex.org/work/W2403178872> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2403178872 abstract "Computer-based test (CBT for short) has become a new form of delivering test. This causes a challenge of unethical conduct during examinations such as cheating and accessing test data before the examination. Model checking is a promising approach to analyse the behavior and correctness of secured system. However, if a system has a large-scale behavior, we cannot apply model checking because of state space explosion. In this paper, we gave a security considerations of CBT and proposed a Petri net-based framework of parallel model checking with a Petri net splitting procedure. The proposed framework is useful to reduce the size of the net, thereby increases the applicability of model checking to security protocol verification. It allows us to analyse the property of each splitted nets simultaneously. We illustrated the proposed framework with a product called as E-monitoring with biometric authentication scheme as an application example." @default.
- W2403178872 created "2016-06-24" @default.
- W2403178872 creator A5001561994 @default.
- W2403178872 creator A5014823146 @default.
- W2403178872 creator A5041793220 @default.
- W2403178872 creator A5071261948 @default.
- W2403178872 date "2016-04-01" @default.
- W2403178872 modified "2023-09-24" @default.
- W2403178872 title "Implementation of parallel model checking for computer-based test security design" @default.
- W2403178872 cites W1705424203 @default.
- W2403178872 cites W1821930315 @default.
- W2403178872 cites W1994941284 @default.
- W2403178872 cites W1996109622 @default.
- W2403178872 cites W2010853429 @default.
- W2403178872 cites W2033618340 @default.
- W2403178872 cites W2053496864 @default.
- W2403178872 cites W2054123013 @default.
- W2403178872 cites W2119562796 @default.
- W2403178872 cites W2183019246 @default.
- W2403178872 cites W2273867541 @default.
- W2403178872 cites W2404322508 @default.
- W2403178872 doi "https://doi.org/10.1109/iacs.2016.7476121" @default.
- W2403178872 hasPublicationYear "2016" @default.
- W2403178872 type Work @default.
- W2403178872 sameAs 2403178872 @default.
- W2403178872 citedByCount "1" @default.
- W2403178872 countsByYear W24031788722018 @default.
- W2403178872 crossrefType "proceedings-article" @default.
- W2403178872 hasAuthorship W2403178872A5001561994 @default.
- W2403178872 hasAuthorship W2403178872A5014823146 @default.
- W2403178872 hasAuthorship W2403178872A5041793220 @default.
- W2403178872 hasAuthorship W2403178872A5071261948 @default.
- W2403178872 hasConcept C110251889 @default.
- W2403178872 hasConcept C120314980 @default.
- W2403178872 hasConcept C121332964 @default.
- W2403178872 hasConcept C15569618 @default.
- W2403178872 hasConcept C15744967 @default.
- W2403178872 hasConcept C163258240 @default.
- W2403178872 hasConcept C199360897 @default.
- W2403178872 hasConcept C2778024590 @default.
- W2403178872 hasConcept C38677869 @default.
- W2403178872 hasConcept C41008148 @default.
- W2403178872 hasConcept C43214815 @default.
- W2403178872 hasConcept C55439883 @default.
- W2403178872 hasConcept C62520636 @default.
- W2403178872 hasConcept C77805123 @default.
- W2403178872 hasConcept C80444323 @default.
- W2403178872 hasConceptScore W2403178872C110251889 @default.
- W2403178872 hasConceptScore W2403178872C120314980 @default.
- W2403178872 hasConceptScore W2403178872C121332964 @default.
- W2403178872 hasConceptScore W2403178872C15569618 @default.
- W2403178872 hasConceptScore W2403178872C15744967 @default.
- W2403178872 hasConceptScore W2403178872C163258240 @default.
- W2403178872 hasConceptScore W2403178872C199360897 @default.
- W2403178872 hasConceptScore W2403178872C2778024590 @default.
- W2403178872 hasConceptScore W2403178872C38677869 @default.
- W2403178872 hasConceptScore W2403178872C41008148 @default.
- W2403178872 hasConceptScore W2403178872C43214815 @default.
- W2403178872 hasConceptScore W2403178872C55439883 @default.
- W2403178872 hasConceptScore W2403178872C62520636 @default.
- W2403178872 hasConceptScore W2403178872C77805123 @default.
- W2403178872 hasConceptScore W2403178872C80444323 @default.
- W2403178872 hasLocation W24031788721 @default.
- W2403178872 hasOpenAccess W2403178872 @default.
- W2403178872 hasPrimaryLocation W24031788721 @default.
- W2403178872 hasRelatedWork W1552731806 @default.
- W2403178872 hasRelatedWork W1968993723 @default.
- W2403178872 hasRelatedWork W1997575049 @default.
- W2403178872 hasRelatedWork W2008427317 @default.
- W2403178872 hasRelatedWork W2011158394 @default.
- W2403178872 hasRelatedWork W2070228824 @default.
- W2403178872 hasRelatedWork W2085307639 @default.
- W2403178872 hasRelatedWork W2105049254 @default.
- W2403178872 hasRelatedWork W2113738305 @default.
- W2403178872 hasRelatedWork W2127991559 @default.
- W2403178872 hasRelatedWork W2143493151 @default.
- W2403178872 hasRelatedWork W2171227618 @default.
- W2403178872 hasRelatedWork W2365034465 @default.
- W2403178872 hasRelatedWork W2381363639 @default.
- W2403178872 hasRelatedWork W2389552205 @default.
- W2403178872 hasRelatedWork W2390422224 @default.
- W2403178872 hasRelatedWork W2514957106 @default.
- W2403178872 hasRelatedWork W2565285813 @default.
- W2403178872 hasRelatedWork W2734452008 @default.
- W2403178872 hasRelatedWork W45490317 @default.
- W2403178872 isParatext "false" @default.
- W2403178872 isRetracted "false" @default.
- W2403178872 magId "2403178872" @default.
- W2403178872 workType "article" @default.