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

Uloženo v:
Podrobná bibliografie
Vydáno v:IET Information Security Ročník 2023; s. 1 - 17
Hlavní autoři: Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Médium: Journal Article
Jazyk:japonština
Vydáno: Institution of Engineering and Technology (IET) 30.10.2023
Témata:
Computer engineering. Computer hardware
Electronic computers. Computer science
QA75.5-76.95
TK7885-7895
ISSN:1751-8709, 1751-8717
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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/eLvHCXMwtV1Jb9QwFLaGwoELO2Jr5QO3NGKSOGP7WEoQ1SwgGKk9gbzEnZRpWs1SFX4Ev5nnJZMMHIADF2viiSYZv0_P33t-C0IvM6OYNKKMjcj6YKAQGkttgx0MkZTDpmC8pEd0MmEnJ_xDr_ejyYW5mtO6ZtfX_PK_ihrmQNg2dfYfxL35UZiAzyB0GEHsMP6V4IffZGimJWQnOnMYj0fHH6ORWNlwt_g17F46GoJGKGolwFT2MXHRuLSpwNXyfOnapM2jw1mpvm48tmOx1lvBQ0fFNAopTUH3-H54LUG2zYzeVPXM1VHf6HfxfT2rFhfR-1OfHOfdPCDmygaGFEsFemYTN_yp1GIVHdhD6HkoLhwcFakLeQtnLs54DcEPgQd3yi26ZWhPEhy1LqaNJ8TrZZonoLj7fqrszvnUz0aZ2wd39HHS2dj9jb9tGWAi2awYX8GCA18DtXsD3Uxpzq2WPD6atPopt6WLWvrHswFN27zdPBlYb0N7DdZ_StvyZmDaWR8e--WaN8wht9UMXQJv-LMhUQPe0Pqoslfh7YAG1VXVoUHTe-hOsF_wgcfdfdQ7Ew_Q3aY3CA5bxUP02cFwHzsQ7mNYexwgiLcgiAGCeAuCuIUgdhDEDQSxhSB2EHyEpm-L6eG7OPTyiM94TmKj-hqoo7TdEKgYAKdUsJSaECP7KsmN1sCkqJHEEKNZBlaK5KoknMENLJcqe4x26ou6fIIw11wPSN8YBpolFalkSuRCiAREQ7MyeYp2YXW-qMqOCSxjzjKg3cDDeEYoI8_-8P1zdLtF7wu0s1qsy110S12tquViz_ls9hwsfgJ-wnmx
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