Search

Your search keyword '"Vigano, A"' showing total 105 results

Search Constraints

Start Over You searched for: Author "Vigano, A" Remove constraint Author: "Vigano, A" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
105 results on '"Vigano, A"'

Search Results

8. Quantum State Transformations and Branching Distributed Temporal Logic : (Invited Paper)

9. Defining Privacy Is Supposed to Be Easy

10. Using Interpolation for the Verification of Security Protocols

11. Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities

13. Towards a Logical Framework for Reasoning about Risk

14. The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures

15. Towards Formal Validation of Trust and Security in the Internet of Services

16. A Deduction System for Meaning Negotiation

17. Start

18. Secure Pseudonymous Channels

19. The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols

20. A Labeled Natural Deduction System for a Fragment of CTL *

24. Formalizing and Analyzing Sender Invariance

26. An Event Driven Approach to Norms in Artificial Institutions

27. Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

28. A Formalization of Off-Line Guessing for Security Protocol Analysis

29. Agent Communication and Institutional Reality

30. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

31. Algebraic Intruder Deductions

34. Labelled Deduction over Algebras of Truth-Values*

35. The AVISS Security Protocol Analysis Tool

36. A Formal Analysis of the CORBA Security Service

38. Labelled quantified modal logics

44. Towards the Secure Provision and Consumption in the Internet of Services

46. Different culture conditions affect the growth of human tendon stem/progenitor cells (TSPCs) within a mixed tendon cells (TCs) population

Catalog

Books, media, physical & digital resources