英國倫敦國王學院Luca Viganò教授在中國人民大學信息學院作了一場題為正式的方法和技術(shù)信息安全的講座，信息產(chǎn)業(yè)需要計算機科學與技術(shù)、信息系統(tǒng)與信息管理、數(shù)學基礎與理論等各方面的專業(yè)人才和復合人才。中國人民大學信息學院正是培養(yǎng)信息領域高素質(zhì)專業(yè)人才的基地。此次講座的主要內(nèi)容是：

　　互聯(lián)網(wǎng)是我們生活中如此重要的一部分的今天，很難想象我們沒有它曾經(jīng)。我們使用互聯(lián)網(wǎng)在工作，在家里，在街上。我們用它來保持聯(lián)系，留在上面的新聞，科研信息，管理我們的儲蓄，支付賬單，購物，投票，游戲帶來的無限樂趣。然而，安全故障使新聞定期，提醒我們，沒有國別，行業(yè)，社區(qū)或個人不受網(wǎng)絡風險，我們面對著我們的關鍵基礎設施，政府，經(jīng)濟，身份和隱私不斷威脅。

　　經(jīng)驗表明，協(xié)議和服務，為互聯(lián)網(wǎng)安全的設計是非常容易出錯，而且根據(jù)非正式的論點或測試傳統(tǒng)的驗證技術(shù)是達不到的任務�，F(xiàn)在人們普遍認識到，只有正式的分析，可提供開發(fā)者和用戶需要的保證程度。在本次講座，盧卡·維加諾將調(diào)查一些新的形式方法和技術(shù)的信息安全，包括一些他已經(jīng)與幾個合作者在研究和產(chǎn)業(yè)化項目的背景下，并建議未來的一些有趣的方向。

　　盧卡·維加諾教授畢業(yè)于電子工程專業(yè)在他的家鄉(xiāng)，熱那亞，意大利，大學于1994年獲得了計算機科學博士學位的薩爾大學，德國，在1997年他曾在弗賴堡大學擔任高級研究科學家的地位，德國，從1997年10月至2002年，一個12月蘇黎世聯(lián)邦理工學院，瑞士，從2003年1月至2006年9月，當他被任命為計算機科學意大利維羅納大學的副教授。

　　原文：The Internet is such a big part of our lives today that it’s hard to imagine that we once did without it. We use the Internet at work, at home, on the street. We use it to keep in touch, stay on top of the news, research information, manage our savings, pay bills, shop, vote, play and have fun. However, security failures make the news on a regular basis, reminding us that no country, industry, community or individual is immune to cyber risks and we face constant threats against our critical infrastructures, government, economy, identity and privacy.

　　Experience has shown that the design of protocols and services for Internet security is highly error-prone and that conventional validation techniques based on informal arguments or testing are not up to the task. It is now widely recognised that only formal analysis can provide the level of assurance required by both developers and users. In this lecture, Luca Viganò will survey some novel formal methodologies and technologies for information security, including some that he has developed with several collaborators in the context of research and industrial projects, and suggest some interesting directions for the future.