机构

• 软件研究所 [4]
• 数学与系统科学研究院 [3]
• 地理科学与资源研究所 [1]
• 计算技术研究所 [1]
• 中国科学院大学 [1]

采集方式

• OAI收割 [9]
• iSwitch采集 [1]

内容类型

• 期刊论文 [9]
• SCI/SSCI论文 [1]

发表日期

• 2023 [1]
• 2022 [1]
• 2019 [1]
• 2017 [2]
• 2016 [1]
• 2013 [1]
• 更多

学科主题

• Engineerin... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 SONC optimization and exact nonnegativity certificates via second-order cone programming 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 346-370 作者:  Magron, Victor;  Wang, Jie   |  收藏  |  浏览/下载：24/0  |  提交时间：2023/02/07 Sum of nonnegative circuit polynomials  Second -order cone programming  Polynomial optimization  Sum of binomial squares  Rounding -projection algorithm  Exact nonnegativity certificate   Nonnegative Polynomials and Circuit Polynomials 期刊论文  OAI收割 SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY, 2022, 卷号: 6, 期号: 2, 页码: 111-133 作者:  Wang, Jie   |  收藏  |  浏览/下载：15/0  |  提交时间：2022/06/21 nonnegative polynomial  sum of nonnegative circuit polynomials  SONC  certificate of nonnegativity  sum of squares  SAGE   A tighter relation between sensitivity complexity and certificate complexity 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 762, 页码: 1-12 作者:  He, Kun;  Li, Qian;  Sun, Xiaoming   |  收藏  |  浏览/下载：28/0  |  提交时间：2019/04/03 Sensitivity conjecture  Sensitivity  Block sensitivity  Certificate complexity  Boolean functions   Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文  OAI收割 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19 作者:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong   |  收藏  |  浏览/下载：15/0  |  提交时间：2018/07/30 Stochastic hybrid systems  safety verification  barrier certificate   Barrier certificates revisited 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86 作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun 收藏  |  浏览/下载：48/0  |  提交时间：2017/02/16 Hybrid system  Barrier certificate  Formal verification  Invariant  Nonlinear system  Semi-definite programming  Sum of squares   Authenticated key exchange with entities from different settings and varied groups 期刊论文  OAI收割 SECURITY AND COMMUNICATION NETWORKS, 2016, 卷号: 9, 期号: 12, 页码: 1843-1863 Guo, YF; Zhang, ZF   |  收藏  |  浏览/下载：28/0  |  提交时间：2016/12/09 Authenticated Key Exchange  Security Model  Certificate-based protocols  Identity-based protocols   The role of certificate issuer on consumers' willingness-to-pay for milk traceability in China SCI/SSCI论文  OAI收割 2013 Bai J. F.; Zhang C. P.; Jiang J. 收藏  |  浏览/下载：23/0  |  提交时间：2014/12/24 Certificate issuer  Food safety  Traceable milk  D12  Q18  country-of-origin  food safety  quality  preferences  products  market  beef  pork  system  sector   一种无证书的家庭基站认证方案 期刊论文  OAI收割 中国科学院研究生院学报, 2012, 卷号: 29, 期号: 1, 页码: 141-144 谢涛; 武传坤 收藏  |  浏览/下载：18/0  |  提交时间：2012/11/12 Home Node B  security  certificate  international mobile subscriber identity(IMSI)   Efficient on-line/off-line signature schemes based on multiple-collision trapdoor hash families 期刊论文  iSwitch采集 Computer journal, 2010, 卷号: 53, 期号: 9, 页码: 1478-1484 作者:  Harn, Lein;  Hsin, Wen-Jung;  Lin, Changlu 收藏  |  浏览/下载：23/0  |  提交时间：2019/05/10 Public-key digital certificate  On-line  Off-line signature  Discrete logarithm  Integer factoring trapdoor hash family   一种基于属性证书和角色的访问控制模型 期刊论文  OAI收割 微电子学与计算机, 2006, 卷号: 23, 期号: 11, 页码: 143-145,148 张可翔; 谢冬青; 冷健   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/13 面向对象  属性证书  职责分离  PKI  属性证书  角色的访问控制  访问控制模型  Attribute Certificate  面向对象  授权访问控制  形式化描述  职责分离  控制方法  保护资源  安全系统  管理