Security Architecture Laboratory

  • Print this page

Overview

In this over 30 years, many researches on securing communication, network and information system are conducted. Prime target of such existing techniques is uniform model such as client-server model.

Recently, communications and data processing are conduct over the network like "cloud computing", and computing environments we use vary such as PC, smart-phone, mobile devices, smart card and so on. Thus, the information systems are constructed from devices which have variety of processing capabilities. It is difficult for us to find out suitable configuration for such complicated situation of network services.

Security Architecture Laboratory aims solving such complicated problem in network security. We are conduct researches on network composition technology such that anyone can enjoy suitable and optimal security technology anytime without expertise of technology. These researches include

- acquisition of situation of network services and status of network devices,
- finding out optimal combination of security techniques for each specific use of service,
- enforcing network to realize the optimized composition

The result of our research will be integrated NeW Generation Network (NWGN), which is flagship activities of NICT. We also enhance implementation of our technology in actual devices through international standardization. Our knowledge on cryptographic protocols will be applied to Japanese e-government systems through CRTPTREC (CRYPTography Research and Evaluation Committees).

Topics

Standardization activities: building global standard facilitating cybersecurity information exchange
In order to maintain cybersecurity, it is necessary to exchange and share information beyond organization borders. The main scheme to do that is, however, by phone call, email, and face-to-face meeting, which are inefficient and time consuming. It even causes mis-communication. To handle that, we are building global standards that expedite such information exchange beyond organization borders.

Standardization of framework on verification of cryptographic protocols
We are contributing to standadize the framowrk on verification of cryptographic protocols by using formal methods in ISO/IEC JTC1 SC27/WG3. One of the editor of this project is Shin'ichiro Matsuo.