首页>外文期刊>计算技术、计算机技术>International Journal of Information Security >2004年第4期

International Journal of Information Security

International Journal of Information Security

ISSN：1615-5262
出版周期：2 issues a year

发文量：347

获取外文期刊封面目录资料

期刊论文

年度选择

2024
- 第1期
2023
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2022
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2021
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2015
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2014
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2012
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2007
- 第1期
- 第3期
- 第4期
- 第5期
- 第6期
2006
- 第1期
- 第2期
- 第3期
- 第4期
2005
- 第2期
- 第3期
- 第4期
2004
- 第1期
- 第2期
- 第4期
2003
- 第1期

更多>>

全选（0）

共5条结果

1.Using ambients to control resources

机译：使用环境控制资源
- 作者：David Teller;Pascal Zimmer;Daniel Hirschkoff
- 期刊名称：《International Journal of Information Security》 | 2004年第4期
- global computing;
- process algebra;
- resource control;
- type system;
2.A calculus for control flow analysis of security protocols

机译：安全协议控制流分析的演算
- 作者：Mikael Buchholtz;Hanne Riis Nielson;Flemming Nielson
- 期刊名称：《International Journal of Information Security》 | 2004年第4期
- security protocols;
- cryptographic protocols;
- process calculi;
- static analysis;
- flow logic;
3.Two-party generation of DSA signatures

机译：两方生成DSA签名
- 作者：Philip MacKenzie;Michael K. Reiter
- 期刊名称：《International Journal of Information Security》 | 2004年第4期
- cryptography;
- digital signature;
- multi-party computation;
4.Stack inspection and secure program transformations

机译：堆栈检查和安全的程序转换
- 作者：Massimo Bartoletti;Pierpaolo Degano;Gian Luigi Ferrari
- 期刊名称：《International Journal of Information Security》 | 2004年第4期
- language-based security;
- access control;
- static analysis;
- compiler optimizations;
5.Automated analysis of timed security: a case study on web privacy

机译：定时安全性的自动分析：网络隐私案例研究
- 作者：Roberto Gorrieri;Ruggero Lanotte;Andrea Maggiolo-Schettini;Fabio Martinelli;Simone Tini;Enrico Tronci
- 期刊名称：《International Journal of Information Security》 | 2004年第4期
- web privacy;
- model checking tools;
- timed behavior;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号