نتایج جستجو برای: term rewriting systems
تعداد نتایج: 1720801 فیلتر نتایج به سال:
Journal:
:the modares journal of electrical engineering
2003
said jalili
behruz - tork ladani
logic analysis and attack construction methods are two major approaches in verification of cryptographic protocols. however, it is almost preferable to use both of them for a complete analysis. in this paper, a generic framework for the integration of the two verification approaches is presented. using the framework we can propose analysis methods in which security properties and breach scenari...
Journal:
:Journal of Automated Reasoning
2004
Journal:
:Journal of Symbolic Computation
1995
Journal:
:Journal of Symbolic Computation
1991
Journal:
:Theoretical Computer Science
2012
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید