Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Series
Identifier:
E207081
ISSN:
1571-0661
Overview
Overview
Outputs (37)
Clear
Sort by Outputs:
ascendant
decrescent
A Calculus for Team Automata
Conference Paper
A Formalization of Credit and Responsibility Within the GNDC Schema
Conference Paper
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
Academic Article
A graph-based design framework for global computing systems
Academic Article
An Approach for the Specification, Verification and Synthesis of Secure Systems
Academic Article
Applying generalized non deducibility on compositions (GNDC) approach in dependability
Conference Paper
Architecting fault-tolerant component-based systems: from requirements to testing
Academic Article
Augmented Risk Analysis
Academic Article
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
Academic Article
Fluid performability analysis of nested automata models
Academic Article
Formal Models of Timing Attacks on Web Privacy
Academic Article
Formal specification and verification of complex systems
Academic Article
Formal verification in the design of gestural interaction
Academic Article
From Coalition Logic to STIT
Academic Article
Integration of components to test software components
Academic Article
Introducing a reasonably complete and coherent approach for model-based testing
Academic Article
MarCaSPiS: a Markovian extension of a Calculus for Services
Academic Article
MarCaSPiS: a Markovian extension of a Calculus for Services
Conference Paper
Model checking publish/subscribe notification for thinkteam
Academic Article
Model checking publish/subscribe notification for thinkteam
Conference Paper
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
Academic Article
Modelling a secure agent with team automata
Academic Article
Modelling dynamic software architectures using typed graph grammars
Academic Article
Modelling interactive experience, function and performance in ubiquitous systems
Academic Article
On Relating and Integrating Two Trust Management Frameworks
Academic Article
Process Algebra Under the Light of Wolfram's NKS
Conference Paper
Rules and Strategies for Contextual Specialization of Constraint Logic Programs
Academic Article
Secrecy in security protocols as non interference
Academic Article
Soft Constraints for Security
Academic Article
Soft Constraints for Security
Conference Paper
Team automata for security - a survey
Conference Paper
Techniques for Security Checking: Non-Interference vs Control Flow Analysis
Academic Article
Through Modeling to Synthesis of Security Automata
Academic Article
Towards Information Flow Properties for Distributed Systems
Academic Article
Towards a logic for performance and mobility
Academic Article
Towards a logic for performance and mobility
Conference Paper
Towards integrated cognitive and interface analysis
Academic Article
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} of {itemsNumber}
5 per page
10 per page
30 per page
view all
