Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Shingo Okamura"'
Publikováno v:
Blockchain: Research and Applications, Vol 3, Iss 4, Pp 100101- (2022)
Ethereum smart contracts are computer programs that are deployed and executed on the Ethereum blockchain to enforce agreements among untrusting parties. Being the most prominent platform that supports smart contracts, Ethereum has been targeted by ma
Externí odkaz:
https://doaj.org/article/112ce893f00b4527ad8e22ffc5ea4dc0
Publikováno v:
IEEE Access, Vol 8, Pp 24153-24169 (2020)
In the use of a cloud storage, sharing of data with efficient access control is an important requirement in addition to data security and privacy. Cui et al. (IEEE Trans. on Comp. 2016) proposed key-aggregate searchable encryption (KASE), which allow
Externí odkaz:
https://doaj.org/article/b86157783a6f4608a035c82c6a7ef5a4
Publikováno v:
IEEE Access, Vol 7, Pp 74941-74960 (2019)
Security analysis of a web system is complicated, and thus analysis using formal methods to describe system specification mathematically has attracted attention. Some previous studies have adopted formal methods, but their models cannot express paral
Externí odkaz:
https://doaj.org/article/33c03eb804f34b6689a6dbc7f9b58d63
Autor:
Ouyang JUNJIE, Naoto YANAI, Tatsuya TAKEMURA, Masayuki OKADA, Shingo OKAMURA, Jason Paul CRUZ
Publikováno v:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. :170-184
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f22ef5dd9c9830548254e34affbfecf
https://doi.org/10.1587/transfun.2022cip0024
https://doi.org/10.1587/transfun.2022cip0024
Autor:
Keiichi Yonemura, Ryotaro Nakata, Hideyuki Kobayashi, Masaki Hashimoto, Shinya Oyama, Jun Sato, Tatsuki Fukuda, Hisashi Taketani, Manabu Hirano, Satoru Yamada, Keiichi Shiraishi, Satoru Izumi, Noriaki Hayashi, Hiroyuki Okamoto, Hideaki Moriyama, Youichi Fujimoto, Shingo Okamura, Yoshinori Sakamoto, Shigeo Doi, Masao Maruyama, Tomoharu Kaeriyama, Kentaro Noguchi, Seiichi Kishimoto
Publikováno v:
2023 IEEE Global Engineering Education Conference (EDUCON).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::747491b7338ed0848d05ef8414e62d20
https://doi.org/10.1109/educon54358.2023.10125167
https://doi.org/10.1109/educon54358.2023.10125167
Publikováno v:
Journal of Information Processing. 30:829-840
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b94561e2d96e4bf1315178e55ab344bb
https://doi.org/10.2197/ipsjjip.30.829
https://doi.org/10.2197/ipsjjip.30.829
Publikováno v:
Journal of Information Processing. 29:537-547
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f62b32acce2448a0d01222275b55bd38
https://doi.org/10.2197/ipsjjip.29.537
https://doi.org/10.2197/ipsjjip.29.537
Publikováno v:
BSCI
Ethereum smart contracts are programs that run on the Ethereum blockchain, and many smart contract vulnerabilities have been discovered in the past decade. Many security analysis tools have been created to detect such vulnerabilities, but their perfo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75578519983f2cde85b1c87c68c05a3b
https://doi.org/10.1016/j.bcra.2022.100101
https://doi.org/10.1016/j.bcra.2022.100101
Publikováno v:
ICC
BGPsec is a protocol that utilizes digital signatures to guarantee the validity of routing information on the Internet. However, it is impractical because its use of digital signatures requires significant memory that is beyond the memory capacity of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb6ba3f206134620dd50bdca0d316ed1
https://doi.org/10.1109/icc42927.2021.9500278
https://doi.org/10.1109/icc42927.2021.9500278
Publikováno v:
IEEE Access, Vol 7, Pp 74941-74960 (2019)
Security analysis of a web system is complicated, and thus analysis using formal methods to describe system specification mathematically has attracted attention. Some previous studies have adopted formal methods, but their models cannot express paral
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b601901393ea4908f4df5b0926ef029
https://ieeexplore.ieee.org/document/8730354/
https://ieeexplore.ieee.org/document/8730354/