Formal Aspects of Security

EISBN:9783540409816
PISBN:9783540206934
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2003
作者:Ali E. Abdallah,Peter Ryan,Steve Schneider
主题词:Data Encryption,Computer Communication Networks,Software Engineering,Operating Systems,Computers and Society,Management of Computing and Information Systems
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Formal Aspects of Security

  • 作者:Ali E. Abdallah,Peter Ryan,Steve Schneider
  • EISBN:9783540409816
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Formal Aspects in Security and Trust

  • 作者:Theo Dimitrakos,Fabio Martinelli,Peter Y. A. Ryan,Steve Schneider
  • EISBN:9783540752271
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Formal Aspects in Security and Trust

  • 作者:Theo Dimitrakos,Fabio Martinelli,Peter Y. A. Ryan,Steve Schneider
  • EISBN:9783540326298
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Formal Aspects in Security and Trust

  • 作者:Pierpaolo Degano,Joshua D. Guttman
  • EISBN:9783642124594
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2010

Formal Aspects of Security and Trust

  • 作者:Gilles Barthe,Anupam Datta,Sandro Etalle
  • EISBN:9783642294204
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Formal Aspects in Security and Trust

  • 作者:Pierpaolo Degano,Joshua Guttman,Fabio Martinelli
  • EISBN:9783642014659
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009