Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude

Uložené v:
Podrobná bibliografia
Vydané v:IET Information Security Ročník 2023; s. 1 - 17
Hlavní autori: Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Médium: Journal Article
Jazyk:Japanese
Vydavateľské údaje: Institution of Engineering and Technology (IET) 30.10.2023
Predmet:
Computer engineering. Computer hardware
Electronic computers. Computer science
QA75.5-76.95
TK7885-7895
ISSN:1751-8709, 1751-8717
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Author Ayoub Otmani
Sedat Akleylek
Santiago Escobar
Duong Dinh Tran
Kazuhiro Ogata
Author_xml – sequence: 1
  fullname: Duong Dinh Tran
– sequence: 2
  fullname: Kazuhiro Ogata
– sequence: 3
  orcidid: 0000-0002-3550-4781
  fullname: Santiago Escobar
– sequence: 4
  orcidid: 0000-0001-7005-6489
  fullname: Sedat Akleylek
– sequence: 5
  orcidid: 0000-0001-8176-8692
  fullname: Ayoub Otmani
BackLink https://cir.nii.ac.jp/crid/1870583643128934784$$DView record in CiNii
BookMark eNo9j0tLAzEUhYNUsNbu_AFZuHTszeRmkiy11AedQbAFd0qeNlpTMVOk_94nbs53Fh8HziEZ5E0OhBwzOGOAelJDzSeaa62U3CNDJgWrlGRy8N9BH5BxKcmCkE0NINSQPMx3Nryf0oX5gcmeLuZV197f0db0fXKhujAleDoPOzrLzryV7dr0aZNpF9zK5FReC-02PqzpdBXcS8pP9CP1K9qZrQ9HZD-adQnjP47I8nK2nF5X7e3VzfS8rZ61wCo68AiNbQCkNE2N6ASiR4wWHBPRe-CNjBYjRq84E2C1C6jVl6CEdXxETn5nc0qPLn0n-_orFG-Qs1ppjlIh_wQMeFPm
ContentType Journal Article
DBID RYH
DOI 10.1049/2023/9399887
DatabaseName CiNii Complete
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1751-8717
EndPage 17
GroupedDBID .DC
0R~
0ZK
1OC
24P
29I
5GY
6IK
AAHJG
AAJGR
AAMMB
ABMDY
ABQXS
ACCMX
ACESK
ACGFO
ACGFS
ACIWK
ADEYR
AEFGJ
AEGXH
AENEX
AGXDD
AIAGR
AIDQK
AIDYY
ALMA_UNASSIGNED_HOLDINGS
ALUQN
AVUZU
CS3
DU5
EBS
GROUPED_DOAJ
HZ~
IAO
IDLOA
IPLJI
ITC
LAI
MCNEO
O9-
OK1
P2P
RNS
RUI
RYH
UNMZH
WIN
~ZZ
ID FETCH-LOGICAL-j954-fc0d406b60077a6244c544d44fb0c15fdd0367fb4f4fd83150b9ce4984fb85bc3
ISSN 1751-8709
IngestDate Mon Nov 10 09:04:21 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language Japanese
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-j954-fc0d406b60077a6244c544d44fb0c15fdd0367fb4f4fd83150b9ce4984fb85bc3
ORCID 0000-0002-3550-4781
0000-0001-7005-6489
0000-0001-8176-8692
OpenAccessLink http://dx.doi.org/10.1049/2023/9399887
PageCount 17
ParticipantIDs nii_cinii_1870583643128934784
PublicationCentury 2000
PublicationDate 2023-10-30
PublicationDateYYYYMMDD 2023-10-30
PublicationDate_xml – month: 10
  year: 2023
  text: 2023-10-30
  day: 30
PublicationDecade 2020
PublicationTitle IET Information Security
PublicationYear 2023
Publisher Institution of Engineering and Technology (IET)
Publisher_xml – name: Institution of Engineering and Technology (IET)
SSID ssib057620058
ssib057620059
ssj0056509
ssib006554459
ssib053832763
ssib009367281
ssib051604691
Score 2.4090257
SourceID nii
SourceType Publisher
StartPage 1
SubjectTerms Computer engineering. Computer hardware
Electronic computers. Computer science
QA75.5-76.95
TK7885-7895
Title Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude
URI https://cir.nii.ac.jp/crid/1870583643128934784
Volume 2023
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: Directory of Open Access Journals (Open Access)
  customDbUrl:
  eissn: 1751-8717
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0056509
  issn: 1751-8709
  databaseCode: DOA
  dateStart: 20210101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 1751-8717
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssib051604691
  issn: 1751-8709
  databaseCode: M~E
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
– providerCode: PRVWIB
  databaseName: Wiley Online Library Free Content
  customDbUrl:
  eissn: 1751-8717
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0056509
  issn: 1751-8709
  databaseCode: WIN
  dateStart: 20130101
  isFulltext: true
  titleUrlDefault: https://onlinelibrary.wiley.com
  providerName: Wiley-Blackwell
– providerCode: PRVWIB
  databaseName: Wiley Online Library Open Access
  customDbUrl:
  eissn: 1751-8717
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0056509
  issn: 1751-8709
  databaseCode: 24P
  dateStart: 20130101
  isFulltext: true
  titleUrlDefault: https://authorservices.wiley.com/open-science/open-access/browse-journals.html
  providerName: Wiley-Blackwell
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lj9MwELbKwoELb8RrVz5wy0Y0iV3bx2UJYtVtQRBp9wTyK9ssJYv6WC38CH4zY8dpUjgABy5W40ZN6vk0_mY8D4SeM-aOh1ISG655TKQwsRrKLCZA_aW0GRGm9M0m2HTKT0_Fu8HgR5sLczlndc2vrsTX_ypqmANhu9TZfxD35kdhAj6D0GEEscP4V4Iff1OhmZZUvejMcTw5PnkfHcuVC3eLX8LuZaIxaIS81hJM5SYmLppYlwpcLb8sfZu0eXQ4s_rzxmM7kWuzFTx0lBdRSGkKuqfph9cRZNfM6FVVz3wd9Y1-l9_Xs2pxEb09a5LjGjcPiLlygSH5UoOe2cQNf7BGrqIDdwg9D8WFg6Mi9SFv4czFG68h-CHw4F65Rb8M3UmCp9Z50XpCGr3MaAKKe9hM2f5ck_rZKnP34J4-Tnobe3Pjb1sGmEguK6apYCGAr4HavYaup4wKpyVPjqadfqKudFFH_0Q2YmmXt0uTkfM2dNdg_aesK28Gpp3z4fFfrkXLHKirZugTeMOfDYka8IbOR5W9CG8HNKiuqh4NKu6gW8F-wQcN7u6iwbm8h263vUFw2Cruo48ehvvYg3Afw9rjAEG8BUEMEMRbEMQdBLGHIG4hiB0EsYfgA1S8zovDN3Ho5RGfC0riUg8NUEfluiEwOQJOqWEpDSGlGuqElsYAk2KlIiUpDc_ASlFCWyI43MCp0tlDtFNf1PYRwlYyJSyVJay984QLXqaqVEpSztKUpY_RLqzOJ125MYFlpDwD2g08TGSEcfLkD98_RTc79D5DO6vF2u6iG_pyVS0Xe95ns-dh8RO9bnlu
linkProvider Wiley-Blackwell
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Kyber%2C+Saber%2C+and+SK-MLWR+Lattice-Based+Key+Encapsulation+Mechanisms+Model+Checking+with+Maude&rft.jtitle=IET+Information+Security&rft.au=Duong+Dinh+Tran&rft.au=Kazuhiro+Ogata&rft.au=Santiago+Escobar&rft.au=Sedat+Akleylek&rft.date=2023-10-30&rft.pub=Institution+of+Engineering+and+Technology+%28IET%29&rft.issn=1751-8709&rft.eissn=1751-8717&rft.volume=2023&rft.spage=1&rft.epage=17&rft_id=info:doi/10.1049%2F2023%2F9399887
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1751-8709&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1751-8709&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1751-8709&client=summon