JPWO2024079897A1 - - Google Patents
Info
- Publication number
- JPWO2024079897A1 JPWO2024079897A1 JP2024551034A JP2024551034A JPWO2024079897A1 JP WO2024079897 A1 JPWO2024079897 A1 JP WO2024079897A1 JP 2024551034 A JP2024551034 A JP 2024551034A JP 2024551034 A JP2024551034 A JP 2024551034A JP WO2024079897 A1 JPWO2024079897 A1 JP WO2024079897A1
- Authority
- JP
- Japan
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- General Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Storage Device Security (AREA)
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| PCT/JP2022/038443 WO2024079897A1 (ja) | 2022-10-14 | 2022-10-14 | 証明装置、通信システム、証明方法、及びプログラム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPWO2024079897A1 true JPWO2024079897A1 (https=) | 2024-04-18 |
Family
ID=90669317
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2024551034A Pending JPWO2024079897A1 (https=) | 2022-10-14 | 2022-10-14 |
Country Status (2)
| Country | Link |
|---|---|
| JP (1) | JPWO2024079897A1 (https=) |
| WO (1) | WO2024079897A1 (https=) |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5987252A (en) * | 1997-09-19 | 1999-11-16 | Digital Equipment Corporation | Method and apparatus for statically analyzing a computer program for data dependencies |
| US6128774A (en) * | 1997-10-28 | 2000-10-03 | Necula; George C. | Safe to execute verification of software |
| US20020112201A1 (en) * | 2000-12-04 | 2002-08-15 | Flanagan Cormac Andrias | Method and apparatus for automatically inferring annotations for an extended static checker |
| JP2010146299A (ja) * | 2008-12-18 | 2010-07-01 | Toshiba Corp | 情報処理装置、プログラム開発システム、プログラム検証方法及びプログラム |
-
2022
- 2022-10-14 WO PCT/JP2022/038443 patent/WO2024079897A1/ja not_active Ceased
- 2022-10-14 JP JP2024551034A patent/JPWO2024079897A1/ja active Pending
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5987252A (en) * | 1997-09-19 | 1999-11-16 | Digital Equipment Corporation | Method and apparatus for statically analyzing a computer program for data dependencies |
| US6128774A (en) * | 1997-10-28 | 2000-10-03 | Necula; George C. | Safe to execute verification of software |
| US20020112201A1 (en) * | 2000-12-04 | 2002-08-15 | Flanagan Cormac Andrias | Method and apparatus for automatically inferring annotations for an extended static checker |
| JP2010146299A (ja) * | 2008-12-18 | 2010-07-01 | Toshiba Corp | 情報処理装置、プログラム開発システム、プログラム検証方法及びプログラム |
Non-Patent Citations (5)
| Title |
|---|
| BERINGER, L. AND HOFMANN, M.: "Secure information flow and program logics", 20TH IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, JPN6025053428, July 2007 (2007-07-01), pages 1 - 13, ISSN: 0005770979 * |
| COSTANZO, D. AND SHAO, Z.: "A Separation Logic for Enforcing Declarative Information Flow Conrol Policies", LECTURE NOTES IN COMPUTER SCIENCE, vol. 8414, JPN6025053431, April 2014 (2014-04-01), pages 179 - 198, ISSN: 0005770978 * |
| TOWS, M. AND WEHRHEIM, H.: "Information Flow Certificates,", LECTURE NOTES IN COMPUTER SCIENCE, vol. 11187, JPN6025053429, October 2018 (2018-10-01), pages 435 - 454, ISSN: 0005770981 * |
| VOLPANO, D. AND SMITH, G.: "A Type-Based Approach to Program Security", LECTURE NOTES IN COMPUTER SCIENCE, vol. 1214, JPN6025053430, April 1997 (1997-04-01), pages 607 - 621, ISSN: 0005770980 * |
| 所司翼 他: "Ｐｒｏｏｆ-Ｃａｒｒｙｉｎｇ ＣｏｄｅとＴＥＥを用いたプログラム の安全性保証付き秘匿実行方式", 情報処理学会研究報告, 2022.05.12,, vol. Vol. 2022- CSEC-97 No.7, JPN6025053432, 12 May 2022 (2022-05-12), pages 1 - 8, ISSN: 0005770977 * |
Also Published As
| Publication number | Publication date |
|---|---|
| WO2024079897A1 (ja) | 2024-04-18 |
Similar Documents
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20250319 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20260113 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20260302 |