• 
<ul id="auswy"><sup id="auswy"></sup></ul>
  • 

  • <ul id="auswy"></ul>
    

    
    
    
    
                                    最新廣告
                            
    
            關(guān)注中國自動化產(chǎn)業(yè)發(fā)展的先行者！
            
    
                
				
                
                
                
            
    
        
    
    
    

    

    
    
    
    
        
        
        
        
       
					
    
				
    
					
    
												
    
							工業(yè)智能邊緣計算2025年會
						
    
												
    
							CAIAC 2025
						
    
												
    
							2025工業(yè)安全大會
						
    
												
    
							OICT公益講堂
						
    
						
					
    
				
    
				
    
			
    
		
    
    

    

    
    
    
    

    


    
        
    
            
            當(dāng)前位置：首頁 >> 案例 >> 案例首頁
        
    
        
    
            
    案例頻道
    
        
    
		
    
			
    
				
    可編程邏輯控制器代碼安全缺陷分析綜述
    
				
    
					
    • 
                                                    企業(yè)：    
                                                                                                                            領(lǐng)域：工控系統(tǒng)信息安全    
                                                    
      • 
						
    • 點(diǎn)擊數(shù)：2552     發(fā)布時間：2018-02-24 16:02:10
      • 
						
    • 分享到：
      • 
					
    
				
    
				
                				
    
                    可編程邏輯控制器代碼安全是確保工業(yè)控制系統(tǒng)安全運(yùn)行的核心，本文圍繞著可編程邏輯控制器的代碼安全缺陷進(jìn)行分析，首先闡述了工控代碼安全的相關(guān)研究。
				
    
                
				
				
    
                    
    作者：解放軍信息工程大學(xué) 耿洋洋，常天佑，魏強(qiáng)
    摘要：可編程邏輯控制器代碼安全是確保工業(yè)控制系統(tǒng)安全運(yùn)行的核心，本文圍繞著可編程邏輯控制器的代碼安全缺陷進(jìn)行分析，首先闡述了工控代碼安全的相關(guān)研究。接著，從可編程邏輯控制器代碼邏輯缺陷、安全需求規(guī)約兩個方面對工控代碼缺陷進(jìn)行分類，分析了針對梯形圖語言的3種代碼邏輯缺陷產(chǎn)生的機(jī)理，并結(jié)合梯形邏輯圖，利用PLC代碼邏輯缺陷，實(shí)現(xiàn)拒絕服務(wù)攻擊、中間人攻擊等。最后，本文提出了PLC代碼形式化驗證中面臨的困難，并從中間語言翻譯、模型構(gòu)建和模型檢測三方面綜述了PLC代碼形式化驗證的相關(guān)研究。
    關(guān)鍵詞：可編程邏輯控制器；工業(yè)控制系統(tǒng)；代碼缺陷分析；形式化驗證
    在線預(yù)覽：可編程邏輯控制器代碼安全缺陷分析綜述
    摘自《自動化博覽》2018年2月刊
    
				
    
			
    
			
    
                                    
    熱點(diǎn)新聞
    
                    
                
                                    
    推薦產(chǎn)品
    
                    
                			
    
		
    

        


	
    

    









    



    
    
    x
    
    
    


    • 在線反饋
    

    

    


    1.我有以下需求：
    

    
    
        
            
    
            
    
            
    
                
        		

    

    2.詳細(xì)的需求：
    

    

    
    姓名:
    

    

    
    單位:
    

    

    
    電話:
    

    

    
    郵件: