Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Ken Mano"'
Publikováno v:
IEICE Transactions on Information and Systems. :181-194
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6613365d7430f694e9bbd701de2551fb
https://doi.org/10.1587/transinf.2022edp7005
https://doi.org/10.1587/transinf.2022edp7005
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 78:101-129
In this paper, we exploit epistemic logic (or the modal logic of knowledge) for multiagent systems to discuss the compositionality of several privacy-related information-hiding/disclosure properties. The properties considered here are anonymity, priv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48586b5d78bc558ee093db8385279f90
https://doi.org/10.1007/s10472-016-9516-8
https://doi.org/10.1007/s10472-016-9516-8
Autor:
Ken MANO
Publikováno v:
IEICE Transactions on Information and Systems. :1782-1782
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9a04dc1e663fd6ecf628cd1b94d41b7
https://doi.org/10.1587/transinf.2019fof0001
https://doi.org/10.1587/transinf.2019fof0001
Publikováno v:
Journal of Logic and Computation. 20:1251-1288
We propose a new information-hiding property called role interchangeability for the verification of the anonymity and privacy of security protocols. First, we formally specify the new property in multi-agent systems, and describe its relationship wit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74211a8f1c88b275f55c773a6b192add
https://doi.org/10.1093/logcom/exq013
https://doi.org/10.1093/logcom/exq013
Publikováno v:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. :2597-2606
Many Internet services and protocols should guarantee anonymity; for example, an electronic voting system should guarantee to prevent the disclosure of who voted for which candidate. To prove trace anonymity, which is an extension of the formulation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a3aaee9fd317c352e6b6c03af57f434
https://doi.org/10.1093/ietfec/e91-a.9.2597
https://doi.org/10.1093/ietfec/e91-a.9.2597
Publikováno v:
Information Processing Letters. 101:46-51
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0328fb695fea8c1df2ea6f40a9aa0fff
https://doi.org/10.1016/j.ipl.2006.06.016
https://doi.org/10.1016/j.ipl.2006.06.016
Publikováno v:
Systems and Computers in Japan. 36:78-91
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4439d0c51e65b75f2052c3c5393f2597
https://doi.org/10.1002/scj.10302
https://doi.org/10.1002/scj.10302
Publikováno v:
GCCE
Anonymization is a common technique for publishing a location data set in a privacy-preserving way. However, such an anonymized data set lacks trajectory information of users, which could be beneficial to many location-based analytic services. In thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d8da10b3012e2779615def8b3d97e73
https://doi.org/10.1109/gcce.2014.7031175
https://doi.org/10.1109/gcce.2014.7031175
Autor:
Mizuhito Ogawa, Ken Mano
Publikováno v:
Theoretical Computer Science. 258:169-208
We present a new and complete proof of Chew's theorem, which states that a compatible term rewriting system has the unique normal form property, i.e., a↔ ∗ b implies a ≡ b for any normal forms a , b .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::140303923199464a5af10f601ccfa439
https://doi.org/10.1016/s0304-3975(99)00340-0
https://doi.org/10.1016/s0304-3975(99)00340-0
Publikováno v:
Information and Communication Technology ISBN: 9783642550317
ICT-EurAsia
ICT-EurAsia
Pseudonymization is a promising technique for publishing a trajectory location data set in a privacy-preserving way. However, it is not trivial to determine whether a given data set is safely publishable against an adversary with partial knowledge ab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6df9b9397a385472194d7471ed7ec424
https://doi.org/10.1007/978-3-642-55032-4_52
https://doi.org/10.1007/978-3-642-55032-4_52
