دانلود رایگان مقالات نشریه ISI اطلاعات و محاسبات

Rule-based static analysis of network protocol implementations

28 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Execution monitoring enforcement under memory-limitation constraints

27 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Analysis of dynamic policies

28 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Preservation of probabilistic information flow under refinement

37 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Authenticating ad hoc networks by comparison of short digests

22 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Fair multi-party contract signing using private contract signatures

19 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

On the relationships between models in protocol verification

21 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Symbolic protocol analysis for monoidal equational theories

40 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Hierarchical combination of intruder theories

26 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Anonymity protocols as noisy channels

24 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Breaking and fixing public-key Kerberos

23 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

A framework for compositional verification of security protocols

35 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه

Information flow security in Boundary Ambients

30 صفحه فرمت PDF سال انتشار : 2008 دانلود متن کامل مقاله ISI سفارش ترجمه