2013 IEEE 25th International Conference on Tools with Artificial Intelligence最新文献_第9页

Bounded Strings for Constraint Programming 约束规划的有界字符串

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.155

Joseph D. Scott, P. Flener, J. Pearson

引用次数: 8

Symbolic Anomaly Detection and Assessment Using Growing Neural Gas 基于生长神经气体的符号异常检测与评估

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.35

Matthew Paisner, Michael T. Cox, D. Perlis

引用次数: 9

Using MaxSAT to Correct Errors in AES Key Schedule Images 使用MaxSAT校正AES密钥调度图像中的错误

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.51

Xiaojuan Liao, Hui Zhang, M. Koshimura, H. Fujita, R. Hasegawa

{"title":"Using MaxSAT to Correct Errors in AES Key Schedule Images","authors":"Xiaojuan Liao, Hui Zhang, M. Koshimura, H. Fujita, R. Hasegawa","doi":"10.1109/ICTAI.2013.51","DOIUrl":"https://doi.org/10.1109/ICTAI.2013.51","url":null,"abstract":"Cold boot attack is a side channel attack that recovers data from memory, which persists for a short period after power is lost. In the course of this attack, the memory gradually degrades over time and only a corrupted version of the data may be available to the attacker. Recently, great efforts have been devoted to reconstructing the original data from a corrupted version of AES key schedules, based on the assumption that all bits in the charged states tend to decay to the ground states while no bit in the ground state ever inverts. However, in practice, there is a small number of bits flipping in the opposite direction, called reverse flipping errors. In this paper, motivated by the latest work that formulates the relations of AES key bits as a Boolean Satisfiability problem, we move one step further by taking the reverse flipping errors into consideration and employing an off-the-shelf MaxSAT solver to accomplish the key recovery of AES-128 key schedules from decayed memory images. Specifically, a MaxSAT solver takes the relations of key bits as hard constraints and the bits in the charged states as soft constraints, then it tries to satisfy all the hard constraints and as many soft constraints as possible by eliminating the unsatisfied minority. Experimental results show that, in the presence of reverse flipping errors, the MaxSAT approach enables reliable recovery of key schedules with significantly less time, compared with the SAT approach that relies on brute force search to find out the target errors.","PeriodicalId":140309,"journal":{"name":"2013 IEEE 25th International Conference on Tools with Artificial Intelligence","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124131868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Modeling Natural Language Sentences into SPN Graphs 将自然语言句子建模为SPN图

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.135

Michael T. Mills, Adamantia Psarologou, N. Bourbakis

引用次数: 9

From Preferences over Arguments to Preferences over Attacks in Abstract Argumentation: A Comparative Study 抽象论证从偏好于论证到偏好于攻击:比较研究

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.93

C. Cayrol, M. Lagasquie-Schiex

引用次数: 11

Design Pattern Recognition by Using Adaptive Neuro Fuzzy Inference System 基于自适应神经模糊推理系统的设计模式识别

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.92

Sultan Alhusain, S. Coupland, R. John, Maria Kavanagh

{"title":"Design Pattern Recognition by Using Adaptive Neuro Fuzzy Inference System","authors":"Sultan Alhusain, S. Coupland, R. John, Maria Kavanagh","doi":"10.1109/ICTAI.2013.92","DOIUrl":"https://doi.org/10.1109/ICTAI.2013.92","url":null,"abstract":"Software design patterns describe recurring design problems and provide the essence of best practice solutions. It is useful and important, for various software engineering tasks, to know which design pattern is implemented where in a software design. However, this information is often lost due to poor or absent documentation, and so accurate recognition tools are required. The problem is that design patterns, given their abstract and vague nature, have a level of resistance to be automatically and accurately recognized. Although this vagueness or fuzziness can be captured and modelled by the fuzzy inference system, it has not yet been applied to solve this problem. This paper fills this gap by proposing an approach for design pattern recognition based on Adaptive Neuro Fuzzy Inference System. Our approach consists of two phases: space reduction phase and design pattern recognition phase. Both phases are implemented by ANFIS. We evaluate the approach by an experiment conducted to recognize six design patterns in an open source application. The results show that the approach is viable and promising.","PeriodicalId":140309,"journal":{"name":"2013 IEEE 25th International Conference on Tools with Artificial Intelligence","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124969912","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning 定性时间推理中SAT编码的传播强度研究

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.18

Matthias Westphal, J. Hué, S. Wölfl

引用次数: 10

Contextual Image Segmentation Based on the Potts Model 基于Potts模型的上下文图像分割

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.47

Nara M. Portela, George D. C. Cavalcanti, Ing Ren Tsang

引用次数: 0

A Rule-Based Hybrid Method for Anomaly Detection in Online-Social-Network Graphs 基于规则的在线社交网络图异常检测混合方法

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.60

R. Hassanzadeh, R. Nayak

引用次数: 12

Characterization of Extended and Simplified Intelligent Water Drop (SIWD) Approaches and Their Comparison to the Intelligent Water Drop (IWD) Approach 扩展和简化智能水滴方法的特征及其与智能水滴方法的比较

2013 IEEE 25th International Conference on Tools with Artificial Intelligence Pub Date : 2013-11-04 DOI: 10.1109/ICTAI.2013.25

J. Straub, Eunjin Kim

引用次数: 8