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: DOAJ Directory of Open Access Journals
  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
  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/eLvHCXMwtV1Jb9NAFB6FwoELO2JrNQdurkW8TMZzLMWIKk1AYKk9gWZz4xJclKUq_Ah-M28WZxw4AAcuo3hiJc68L2--9-YtCD2nXGc8TeqYapnGuRIJ_KUUWK1CJTUQeCDFyjaboNNpcXrK3g0GP7pcmMs5bdvi6op9_a-ihjkQtkmd_Qdxbz4UJuA1CB1GEDuMfyX48Tfhm2lx0YvOHMeT45P30TFfmXC3-CXsXioag0YoW8nBVHYxcdFEm1TgZvlladukzaPDmZafNx7bCV-rreCho7KKfEqT1z2uH14gyKaZ0aumndk66hv9zr-vZ83iInp75pLjnJsHxNyYwJByKUHPbOKGP2jFV9GBOYSe--LC3lGR2pA3f-ZijVcf_OB5cK_col2GcJJgqXVZdZ4Qp5cpSUBxD92U7s-51M9OmZsv7unjpLexuxt_2zLARDJZMa6CBQO-Bmr3GrqeUsKMljw5mgb9REzpokD_WDaiacjbJcnIeBvCNVj_KQ3lzcC0Mz684pdr1jEHYqoZ2gRe_2N9ogY8ofFRZS_80wENapumR4OqO-iWt1_wgcPdXTQ45_fQ7a43CPZbxX300cJwH1sQ7mNYe-whiLcgiAGCeAuCOEAQWwjiDoLYQBBbCD5A1euyOnwT-14e8TkjeVzLoQLqKEw3BMpHwCklLKXK81oMZUJqpYBJ0VrkdV6rIgMrRTCpc1bADQURMnuIdtqLVj9CeEgk55kaydq4DmQqgCEXkprWlFqB8fMY7cLqfJKNGRNYRlJkQLuBh7Esp0X-5A_vP0U3A3qfoZ3VYq130Q15uWqWiz3rs9mzsPgJNQh5dQ
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