scientific article; zbMATH DE number 2080008

MaRDI QIDQ4472191zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

• scientific article; zbMATH DE number 1857525 (Why is no real title available?)
• scientific article; zbMATH DE number 2080846 (Why is no real title available?)
• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• scientific article; zbMATH DE number 1569135 (Why is no real title available?)
• Analysis, comparison and design of role-based security specifications
• Tool-assisted security assessment of distributed applications
• A formal notation and tool for the engineering of CORBA systems
• 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)