维普期刊资源整合服务平台（V6.5）

31篇 您的检索式：作者名="BASIN D"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	Canada显示文摘	Stasiuk L D Algal bloom episodes and the formation of bituminite and micrinite in hydrocarbon source rocks:Evidence from the Devonian and Mississippian northern Williston Basin	1993	International Journal of Coal Geology1993，24，14：	1
2	OFMC :a symbolic model checker for security protocols 显示文摘	BASIN D MODERSHEIM S VIGANO L	2004	International Journal of Information Security2004，4，3：	1
3	Distributed Usage Control显示文摘	Pretschner A Hilty M Basin D	2006	Communications of the ACM2006，49，9：	1
4	Sliding mode regulator as solution to optimal control problem for non-linear polynomial systems显示文摘	Basin M Calderon-Alvarez D	2010	Journal of the Franklin Institute2010，347，6：	1
5	Role mining with probabilistic models显示文摘	Frank M Buhman J M Basin D	2013	ACM Trans on Information and System Security2013，15，4：	1
6	SSL/TLS session - aware us- er authentication 显示文摘	Oppliger R Hauser R Basin D	2008	IEEE Computer2008，41，3：	1
7	Composition and morphol ogy of phosphate stones and their relation with etiology 显示文摘	Daudon M Bouzidi H Basin D	2010	Urol Res2010，，38：	1
8	SSL/TLS session-aware userauthentication revisited 显示文摘	Oppliger R Hauser R Basin D	2008	Computers and Security2008，27，3：	1
9	Lawrence river显示文摘	Bennie D T Sullivan C A Lee H B Peart T E Maguire R J Occurrence of alkylphenols and alkylphenol mono-and diethoxylates in natural waters of the Laurentian Great Lakes basin and the upper St	1997	Sci Total Environ1997，193，：	1
10	Model Driven Security:From UML Modelsto Accesa Control Infrastructures显示文摘	Basin D	2006	ACM Transactios on Software Engineering and Methodology2006，15，1：	1
11	Provably repairing the ISO/IEC9798standard for entity authentication显示文摘	Basin D Cremers C Meier S	2013	Journal of Computer Security2013，21，6：	1
12	OFMC: A Symbolic Model Checker for Security Protocols显示文摘	Basin D Modersheim S Vigano L	2005	International Journal of Information Security2005，4，3：	1
13	Aurorratically Deriving Inforrration?Theoretic Bounds for Adaptive Side-Channel Attacks 显示文摘	KOPF B BASIN D	2011	JoumaJ of Cormuter Security2011，19，1：	1
14	OFMC: A symbolic model-checker for security protocols 显示文摘	Basin D Modersheim S Vigan6 L	2005	International Jour- nal of Information Security2005，4，3：	1
15	Efficient construction of ma- chine-checked symbolic protocol security proofs显示文摘	Meier S Cremers C Basin D	2013	Journal of Computer Security2013，21，1：	1
16	Know your enemy: compromising adver- saries in protocol analysis显示文摘	Basin D Cremers C	2014	ACM Transactions on Informa- tion and System Security2014，17，2：	1
17	A theoretical and empirical investigation of search in imperfect information games显示文摘	Frank I Basin D A	2001	Theoretical Computer Science2001，252，12：	1
18	Central suboptimalfilter design for linear time-varying systems with state andmeasurement delays显示文摘	Basin M SHI Peng Calderon-Alvarez D	2010	International Journal of System Science2010，41，4：	1
19	Metareasoning about security protocols using distributed temporal logic显示文摘	Caleiro C Vigano L Basin D	2005	Electronic Notes in Theoretical Computer Science2005，125，1：	1
20	Relating strand spaces and distributed temporal logic for security protocol analysis显示文摘	Caleiro C Vigano L Basin D	2005	Journal of IGPL2005，13，6：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示