Our ultimate goal is to enable many people to use the K computer. We are developing a computing portal site to which program developers and data providers can upload their programs and data so that users of the site can make use of them as they wish. In parallel with this, we are also investigating two fundamental technologies for the site. One is virtualization technology by which a number of virtual K computers can be created on the host K computer. The other technology is a program verification scheme to detect incorrect programs before they are executed. Once these technologies are implemented, many people will be able to use the computing portal site in a fair, safe and secure way.