浏览/检索结果:共6条，第1-6条

已选(0)清除条数/页：排序方式：
	A variable value range analysis method based on path propagation 会议论文 ACM International Conference Proceeding Series, chn,Wuhan, 2023-09-24——2023-09-24 作者: Zhang，Tao; Chen，Xiarun; Chen，Zhong 收藏 \| 浏览/下载：3/0 \| 提交时间：2025/08/05 data flow analysis Program analysis range analysis
	EShield: Protect smart contracts against reverse engineering 会议论文 ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, usa,Virtual, Online, 2020-07-18——2020-07-18 作者: Yan，Wentian; Gao，Jianbo; Wu，Zhenhao; Li，Yue; Guan，Zhi 收藏 \| 浏览/下载：2/0 \| 提交时间：2025/08/05 Blockchain Ethereum Program Analysis Reverse Engineering Smart Contract
	Automated enforcement for relaxed information release with reference points 期刊论文 Science China Information Sciences,2014, 卷号: 57, 期号: 11, 页码: 1-19 作者: Sun，Cong; Xi，Ning; Gao，Sheng; Chen，Zhong; Ma，Jian Feng 收藏 \| 浏览/下载：3/0 \| 提交时间：2025/08/05 declassification information flow noninterference program analysis pushdown system security policy
	Declassification enforcement on program with reachability analysis of pushdown system 期刊论文 Ruan Jian Xue Bao/Journal of Software,2012, 卷号: 23, 期号: 8, 页码: 2149-2162 作者: Sun，Cong; Tang，Li Yong; Chen，Zhong 收藏 \| 浏览/下载：1/0 \| 提交时间：2025/08/05 Automated verification Declassification Information flow security Program analysis Pushdown system
	Enforcing reactive noninterference with reachability analysis 会议论文 Proceedings - 2011 8th International Conference on Information Technology: New Generations, ITNG 2011 作者: Sun，Cong; Tang，Liyong; Chen，Zhong 收藏 \| 浏览/下载：1/0 \| 提交时间：2025/08/05 information flow noninterference program analysis pushdown system reactive program
	Decision making under partial probability information using pair-wise comparisons 期刊论文 European Journal of Operational Research,1999, 卷号: 112, 期号: 1, 页码: 220-235 作者: Parkan, Celik; Wang, Lian Fen; Wu, Minglu 收藏 \| 浏览/下载：9/0 \| 提交时间：2022/04/01 Decision analysis Efficiency Efficient strategies Linear program Pair-wise comparisons