✦ LIBER ✦

A symbolic framework for multi-faceted security protocol analysis

✍ Scribed by Andrea Bracciali; Gianluigi Ferrari; Emilio Tuosto

Publisher: Springer-Verlag
Year: 2007
Tongue: English
Weight: 844 KB
Volume: 7
Category: Article
ISSN: 1615-5262
DOI: 10.1007/s10207-007-0043-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ENDL: A Logical Framework for Verifying

ENDL: A Logical Framework for Verifying Secure Transaction Protocols

✍ Qingfeng Chen; Chengqi Zhang; Shichao Zhang 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 951 KB

A calculus for control flow analysis of

A calculus for control flow analysis of security protocols

✍ Mikael Buchholtz; Hanne Riis Nielson; Flemming Nielson 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 740 KB

Complete symbolic factorization for the

Complete symbolic factorization for the security analysis of power systems

✍ A. Berizzi; U. Piovan; A. Silvestri; D. Zaninelli; R. Pavani 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 798 KB

Graph OLAP: a multi-dimensional framewor

Graph OLAP: a multi-dimensional framework for graph data analysis

✍ Chen Chen; Xifeng Yan; Feida Zhu; Jiawei Han; Philip S. Yu 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 658 KB

A framework for sensitivity analysis in

A framework for sensitivity analysis in discrete multi-objective decision-making

✍ David Rios Insua; Simon French 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 986 KB

Generation, modeling, and analysis of CC

Generation, modeling, and analysis of CCII-based gyrators using the generalized symbolic framework for linear active circuits

✍ Ramy A. Saad; Ahmed M. Soliman 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 220 KB

## Abstract In this paper, CCII‐based gyrators are synthesized, modeled, and analyzed using the generalized symbolic framework for linear active circuits. The systematic synthesis method using admittance matrix expansion, included in the framework, is applied to generate optimized nullor–mirror des