博士教授

日本法政大学计算机与信息科学学院

http://cis.k.hosei.ac.jp/~jianhua/

特邀报告题目: 从可信计算到普适安全计算


Dr.Indrakshi Ray

Associate Professor at Department of Computer Science,Colorado State University, USA

http://www.cs.colostate.edu/~iray

Title: Securing Pervasive Computing Applications.


  

 

更详细的特邀报告信息


马建华 博士、教授

日本法政大学计算机与信息科学学院

http://cis.k.hosei.ac.jp/~jianhua/

特邀报告题目: 从可信计算到普适安全计算

特邀报告摘要: 可信计算(Trusted Computing/Trustworthy Computing)近年来受到了广泛的关注,其目的是建立一个涵盖保密、可靠、风险、信誉等各个方面的统一的框架或者通用的计算方法学。信任确实非常重要,尤其是在硬件、软件、服务等之间的协作中更显突出。在我们的生活经验当中,信任是合作的关键因素之一,而合作是现实世界中实体与实体之间的各种关系中的一种。事实上,实体与实体之间还有着许多其它关系,比如松散耦合、互相利用、不合作、竞争、斗争等等。无论存在什么样的关系,对于用户而言,他们通常希望的是可以得到满意的服务并且可以安全地做好事情。

 

尽管计算机和网络安全已经被研究了几十年,现在仍然存在几个基本问题需要回答:(1) 在使用那些被附加、嵌入、或混合在现实目标和环境中的新型计算机和网络的时候,我们是否真正理解各种新的风险和无处不在的潜在危险?(2) 在各种复杂的计算环境中,我们是否真正有着高效可行的解决办法,来精确预测并进一步防止风险或危险?(3) 我们能否建立风险较少或者危险可证的计算环境,使得所有的人能真正享受无所不在的服务,而不需要担心任何有关的安全问题,包括可靠性、保密性、隐私性、持久性、不信任、灾害、不确定性、不可预测性、失去控制等?普适安全计算(Ubisafe Computing)就是研究如何解决上述问题所带来的挑战,并提供一个统一的解决方案,使得所有的人都能从可信的普适服务中受益,同时确保他们所期待的安全。

 

个人简介: 马建华博士自2000年以来一直担任日本法政大学计算机与信息科学学院的教授。在此之前,他先后在国防科技大学、西安电子科技大学和日本会津大学有着长达15年的教学和科研经历。从1983年至2003年,他的研究涉及到无线通信编码技术、数据/视频传输安全、语音识别与合成、多媒体服务质量、1对多HC超接口、图形图像专用集成电路(ASIC)、远程教学和虚拟大学、计算机支持协同工作、多智能体、因特网音频与视频、移动WEB服务、P2P网络等众多领域。自2003年,他一直致力于他所称之为智能世界(Smart Worlds)”的研究。在智能世界中,各种灵巧的/智能的实体无处不在,这些实体简称为"u-实体(u-Things)"包括三种基本元素:智能对象、智能空间(或超空间)、以及智能系统。这些基本元素都是基于对未来无所不在的智能(Ubiquitous Intelligence)或普适智能(Pervasive Intelligence)、普适安全计算(Ubisafe Computing)、普适科学(u-Science)普适工程(u-Engineering)的远景设想。

教授是三个国际期刊的联合主编(Co-Editor-in-Chief),即普适计算与智能期刊(JUCI)、移动多媒体期刊(JMM)、自主与可信计算期刊(JoATC)。他还是普适计算与通信国际期刊(JPCC)的助理主编。另外,他还是一些国际杂志的编委,包括IJCPOLIJDETIJWMCIJSHIJSIA,并且作为客座编辑(Guest Editor)编辑出版了十多期杂志特刊(Special Issue)。

 

他曾作为程序委员会主席组织了第六届分布式多媒体系统国际会议(DMS99),作为创始人之一和程序委员会主席组织了第一届网络世界国际会议(Cyber Worlds 2002),并且作为大会主席组织了2004IEEE高级信息网络与应用国际会议(AINA04)。他是普适智能与计算国际会议(UIC)以及自主与可信计算国际会议(ATC)的创始人之一,这两个国际会议始于2005年。他还作为各种主席和委员会成员参与了许多国际会议(Conferences)和研讨会(Workshops)。他是IEEE自主与可信计算工作组的主席,并且获得2004-2007 IEEE计算机学会荣誉证书。

 

 返回


Dr. Indrakshi Ray

Associate Professor at Department of Computer Science,Colorado State University, USA

http://www.cs.colostate.edu/~iray

 

Title: Securing Pervasive Computing Applications.

Abstract: Pervasive computing applications have the potential to benefit society. These applications typically use knowledge of the environment to provide better services and functionalities. Such knowledge of the environment can be exploited to cause security and privacy breaches. Pervasive computing applications also involve a large number of entities spanning multiple organizations. Thus, security and privacy breaches can have very far reaching consequences. Therefore, before such technology can be widely deployed, privacy and security issues must be addressed.

Although a lot of research appears in the area of security, we will explore why existing security models, mechanisms, and approaches cannot be used for securing pervasive computing applications. We will discuss what types of security policy models are useful for pervasive computing applications, how security provisioning can be done for such applications, and how to design secure pervasive applications and have assurance that the security properties are indeed satisfied.

Short Bio: Indrakshi Ray is an Associate Professor in the Computer Science Department at Colorado State University. Her research spans the areas of Computer Security, Formal Methods in Software Engineering, and Database Systems. She has published papers in the area of access control policies, trust models, designing secure systems, workflows and semantics-based transaction processing. Her research has been supported by the Air Force Office of Scientific Research, Air Force Research Laboratory, Federal Aviation Administration, and the National Science Foundation.

Indrakshi Ray has been actively involved in various capacities with numerous conferences and journals. She was the Program Co-Chair IEEE/IFIP TSP 2008, General Chair of ACM SACMAT 2008, Program Chair of ACM SACMAT 2006, Program Co-Chair TACS 2006, and Program Co-Chair of WG 11.3 IFIP DBSec 2003. She has also served on program committees of many conferences including CCS, DBSec, EDBT, ESORICS, ICDE and SACMAT. She was the Guest Editor of ACM TISSEC and Journal of Autonomic and Trusted Computing. She is an editorial board member of Computer Standards and Interfaces, and Journal of Autonomic and Trusted Computing. She is a member of the ACM and IEEE.

 返回