权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

実現不能な仕様の欠陥情報を用いて部分プログラムを合成する方法に関する研究

利用不可行规格的缺陷信息合成部分程序的方法研究

基本信息

批准号：
12780194
负责人：
友石正彦
金额：
$ 1.15万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
2000
资助国家：
日本
起止时间：
2000 至 2001
项目状态：
已结题

项目摘要

本年度は、実現不能な仕様の欠陥情報を用いて部分プログラムを合成するため欠陥情報の検出方式の形式化を行なった。また、その導出手続きの構成を行った。また、ネットワーク上で、いくつかのセキュリティシステムの構成を行った。1.仕様の段階的充足不能性の原因について考察し、その形式化を行った。また、その導出手続きを構成し、その手続きについて考察を行った。その結果、出力に関して決定化を行うだけでは、段階的充足不能の原因の健全な手続きを作ることができるが、それだけでは完全とはならないことがわかった。このため、段階的充足不能の原因を充足可能性を検査するタブローから計算するためには、新たな決定化のためのパラメータを付随して、計算する必要がある。2.HTTPの中継のためのリアクティブシステムの実装を実際に行なった。これは、ファイアーウォールを導入したネットワークにおいて、ユーザインタラクションのパターンに応じて中継の可否を切り替えるシステムである。ここで取り扱われる中継のための仕組み(状態繊維)単純なので、本研究での仕様と検証における実例として使いたいと考えている。3.いくつかのセキュリティのためのシステムを組込んだUNIX OSの拡張を行った。これは現UNIXのユーザ権限のデザイン、特にルート権限を見直すことによって、ネットワークを通じての成り済ましなどの可能性を減らす拡張である。ここで実装を行ったネットワークアクセスを行うまでの権限の委譲のシステムについても上記の検証システムによって実際に検証できればと考えている。

This year, we have been able to formalize the way in which information is generated by combining some of the information we have received. The composition of the leading hand of the company was carried out. The structure of the system is carried out in the following ways: 1. The reasons for the adequacy and impossibility of the hierarchy of officials are investigated and formalized. For example, if you want to make a move, you can make a move. The result, the output, the determination, the adequacy, the failure, the soundness, the failure, the failure. The reasons for the adequacy of this segment and the adequacy of this segment are examined and calculated. 2. The actual implementation of HTTP HTTP. This is the first time that the Chinese government has made a decision on whether or not to change its policy. This study is based on the analysis of the data collected from the database. 3. The UNIX OS is open to the public. This reduces the likelihood that UNIX's operating system will not be able to function properly, and that UNIX's operating system will not function properly. This is the first time that the company has been involved in the construction of a project, and the first time that it has been involved in the construction of a project, it has been involved in the construction of a project.