英国伦敦国王学院Luca Viganò教授在中国人民大学信息学院作了一场题为正式的方法和技术信息安全的讲座，信息产业需要计算机科学与技术、信息系统与信息管理、数学基础与理论等各方面的专业人才和复合人才。中国人民大学信息学院正是培养信息领域高素质专业人才的基地。此次讲座的主要内容是：

　　互联网是我们生活中如此重要的一部分的今天，很难想象我们没有它曾经。我们使用互联网在工作，在家里，在街上。我们用它来保持联系，留在上面的新闻，科研信息，管理我们的储蓄，支付账单，购物，投票，游戏带来的无限乐趣。然而，安全故障使新闻定期，提醒我们，没有国别，行业，社区或个人不受网络风险，我们面对着我们的关键基础设施，政府，经济，身份和隐私不断威胁。

　　经验表明，协议和服务，为互联网安全的设计是非常容易出错，而且根据非正式的论点或测试传统的验证技术是达不到的任务。现在人们普遍认识到，只有正式的分析，可提供开发者和用户需要的保证程度。在本次讲座，卢卡·维加诺将调查一些新的形式方法和技术的信息安全，包括一些他已经与几个合作者在研究和产业化项目的背景下，并建议未来的一些有趣的方向。

　　卢卡·维加诺教授毕业于电子工程专业在他的家乡，热那亚，意大利，大学于1994年获得了计算机科学博士学位的萨尔大学，德国，在1997年他曾在弗赖堡大学担任高级研究科学家的地位，德国，从1997年10月至2002年，一个12月苏黎世联邦理工学院，瑞士，从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.