logic n. 1.邏輯,理論學(xué)。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯,惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭(zhēng)]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
Furthermore , three expanded gny logic rules are given during above analysis based on gny , and at the end of this paper , security protocol formal verification based on attack logics is discussed and presented , a development framework of integrating such verification model into automated analysis tools such as spearii is shown finally 另外,本文在使用gny邏輯的分析過程中,提出三條實(shí)用的gny擴(kuò)展規(guī)則,而在文章最后,對(duì)基于攻擊邏輯的安全協(xié)議驗(yàn)證方法作了初步研究,提出了將該協(xié)議攻擊驗(yàn)證技術(shù)融入?yún)f(xié)議自動(dòng)分析工具的設(shè)計(jì)框架。
The long range data service is three clients / servers mode core , in three clients / servers mode long range data service has implemented to the user interface , the commercial logic rule , the digital data service logical separation and the independent seal , data buffer reduced the client end to request to the database service data , also caused the client end the application to stand then obtains the data but not to use the waiting network the data transmission 遠(yuǎn)程數(shù)據(jù)服務(wù)是三層客戶機(jī)服務(wù)器模型的核心,三層客戶機(jī)/服務(wù)器模型中的遠(yuǎn)程數(shù)據(jù)服務(wù)實(shí)現(xiàn)了對(duì)用戶界面、商業(yè)邏輯規(guī)則、數(shù)據(jù)服務(wù)的邏輯分離和獨(dú)立封裝,其中數(shù)據(jù)緩存減少了客戶端對(duì)數(shù)據(jù)庫服務(wù)的數(shù)據(jù)請(qǐng)求,且使客戶端的應(yīng)用立即可獲得數(shù)據(jù)而不用等待網(wǎng)絡(luò)的數(shù)據(jù)傳輸。