中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
基础软件国家工程研... [26]
作者
Content Type
期刊论文 [26]
Issued Date
2011 [1]
2010 [1]
2009 [6]
2008 [2]
2007 [5]
更多...
Language
中文 [15]
英语 [2]
Source
软件学报 [26]
Project
Indexed
CSCD [2]
EI [2]
EI,WANFANG... [2]
WANFANG [2]
WANFANG,CN... [2]
更多...
Spnsorship
中国计算机学会 [2]
huazhong u... [1]
institute ... [1]
中国科学院计算技术研... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 26)
Filters
Community:基础软件国家工程研究中心
Source:软件学报
Content Type:期刊论文
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
一种保护隐私的高效远程验证机制
[期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 2, 页码: 339-352
徐梓耀
;
贺也平
;
邓灵莉
  |  
基于Biba和Clark-Wilson策略的混合强制完整性模型
[期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 1, 页码: 98-106
周洲仪
;
贺也平
;
梁洪亮
  |  
基于BPEL的Web Service组合的数据流分析测试方法
[期刊论文]
软件学报, 2009-01-01, 期号: 8, 页码: 2102-2112
董文莉
;
胡建华
  |  
安全策略模型聚合性评估方法
[期刊论文]
软件学报, 2009-01-01, 期号: 7, 页码: 1953-1966
蔡嘉勇
;
卿斯汉
;
刘伟
  |  
基于时序逻辑证明编译优化程序变换的保义性
[期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭
;
赵琛
;
郭亮
  |  
基于角色的管理模型隐式授权分析
[期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 4, 页码: 1048-1057
刘伟
;
蔡嘉勇
;
贺也平
  |  
网络受限移动对象过去、现在及将来位置的索引
[期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 12, 页码: 3193-3204
丁治明
;
李肖南
;
余波
  |  
移动对象数据库模型、查询语言及实时交通流分析
[期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 7, 页码: 1866-1884
丁治明
  |  
基于规则推导的特权隐式授权分析
[期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 8, 页码: 2102-2113
蔡嘉勇
;
卿斯汉
;
刘伟
;
何建波
  |  
C代码API一致性检验中的等值分析
[期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 10, 页码: 2550-2561
孟策
;
贺也平
;
罗宇翔
  |  
1
2
3
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace