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

已选(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 收藏 \| 浏览/下载：16/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, Virtual Event, USA, July 18–22, 2020 作者: Yan, Wentian; Gao, Jianbo; Wu, Zhenhao; Li, Yue; Guan, Zhi 收藏 \| 浏览/下载：21/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 收藏 \| 浏览/下载：23/0 \| 提交时间：2025/08/05 declassification information flow noninterference program analysis pushdown system security policy
	Enforcing reactive noninterference with reachability analysis 会议论文 Proceedings - 2011 8th International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, April 11 - 13, 2011 作者: Sun, Cong; Tang, Liyong; Chen, Zhong 收藏 \| 浏览/下载：14/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 收藏 \| 浏览/下载：26/0 \| 提交时间：2022/04/01 Decision analysis Efficiency Efficient strategies Linear program Pair-wise comparisons