中国科学院软件研究所机构知识库
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
计算机科学国家重点实... [8]
软件所图书馆 [6]
作者
Content Type
会议论文 [8]
期刊论文 [6]
Issued Date
Language
英语 [6]
Source
formal asp... [2]
computer j... [1]
electronic... [1]
internatio... [1]
journal of... [1]
更多...
Project
Indexed
EI [8]
SCI [1]
SPRINGER,S... [1]
Spnsorship
ieee comp ... [2]
acm [1]
ieee s aus... [1]
ieee; ieee... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 14)
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
Formalizing provable anonymity in Isabelle/HOL
[期刊论文]
Formal Aspects of Computing, 2014-01-01
Li, Yongjian (1)
;
Pang, Jun (3)
Combining symmetry reduction with generalized symbolic trajectory evaluation
[期刊论文]
Computer Journal, 2014-01-01, 卷号: 57, 期号: 1, 页码: 115-128
Li, Yongjian (1)
;
Zeng, Naiju (1)
;
Hung, William N.N. (2)
;
Song, Xiaoyu (3)
A Strand Space Approach to Provable Anonymity
[会议论文]
2nd International Workshop of Formal Techniques for Safety-Critical Systems, FTSCS 2013, Queenstown, New zealand, October 29, 2013 - October 30, 2013
Li, Yongjian (1)
;
Pang, Jun (2)
enhanced symbolic simulation of a round-robin arbiter
[会议论文]
29th IEEE International Conference on Computer Design 2011, ICCD 2011, Amherst, MA, United states, November 9
Li Yongjian
;
Zeng Naiju
;
Hung William N. N.
;
Song Xiaoyu
an inductive approach to provable anonymity
[会议论文]
2011 6th International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22,
Li Yongjian
;
Pang Jun
an inductive approach to strand spaces
[期刊论文]
Formal Aspects of Computing, 2011-01-01, 期号: 1, 页码: 1-37
Li Yongjian
;
Pang Jun
  |  
a novel formalization of symbolic trajectory evaluation semantics in isabelle/hol
[期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 412, 期号: 25, 页码: 2746-2765
Li Yongjian
;
Hung William N.N.
;
Song Xiaoyu
  |  
design of a cil connector to spin
[期刊论文]
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008-01-01, 卷号: 18, 期号: 1, 页码: 65-91
Li Yongjian
;
Xue Rui
  |  
mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols
[会议论文]
22nd ACM Symposium on Applied Computing, Seoul, SOUTH KOREA, MAR 11-15,
Li Yongjian
  |  
extending the strand space method to verify kerberos v
[会议论文]
8th International Conference on Parallel and Distributed Computing, Applications and Technologies, Adelaide, AUSTRALIA, DEC 03-06,
Li Yongjian
;
Pang Jun
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace