scientific article; zbMATH DE number 2080008

zbMATH Open1044.68548MaRDI QIDQ4472191FDOQ4472191

Authors: Frank Rittinger, Luca Viganò, David Basin 

Publication date: 3 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2272/22720330.htm

Title of this publication is not available (Why is that?)

Recommendations

• Tool-assisted security assessment of distributed applications
• scientific article; zbMATH DE number 1569135
• A formal notation and tool for the engineering of CORBA systems
• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• Developing secure distributed systems with CORBA

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (8)

• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• Title not available (Why is that?)
• A formal notation and tool for the engineering of CORBA systems
• Title not available (Why is that?)
• Analysis, comparison and design of role-based security specifications
• Tool-assisted security assessment of distributed applications
• Title not available (Why is that?)
• Using TRIO for designing a CORBA-based application

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472191)