NDLI logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-9)
  2. A formal data-model of the CORBA security service
Loading...

Please wait, while we are loading the content...

Taming architectural evolution
Deadlock detection in distribution object systems
A micromodularity mechanism
Using aspectC to improve the modularity of path-specific customization in operating system code
Interface automata
Using symbolic execution for verifying safety-critical systems
A methodology for specifying and analyzing consistency of object-oriented behavioral models
WREN---an environment for component-based development
Analysis of the constraint solver in UNA based test data generation
An empirical study on the utility of formal routines to transfer knowledge and experience
Component revision identification based on IDL/ADL component specification
8th European workshop on software process technology: report and future directions
Software architecture in a changing world: developing design strategies that anticipate change
Half day tutorial in methods of component-based software engineering essential concepts and classroom experience
An architectural style of product lines for distributed processing systems, and practical selection method
Increasing client-side confidence in remote component implementations
Detecting implied scenarios in message sequence chart specifications
The structure and value of modularity in software design
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Modular verification of collaboration-based software designs
Combining UML and formal notations for modelling real-time systems
Engineering component-based net-centric systems for embedded applications
Pursuing failure: the distribution of program failures in a profile space
An industrial case study of implementing software risk management
Modelling and managing software federations
Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model
Adapting XP to complex application domains
A graph based architectural (Re)configuration language
A formal approach to the assessment and improvement of terminological models used in information systems engineering
A notation for problematic architecture interactions
Automatic abstraction for model checking software systems with interrelated numeric constraints
Behavioral contracts and behavioral subtyping
Coverage criteria for GUI testing
An empirical methodology for introducing software processes
STG: a tool for generating symbolic test programs and oracles from operational specifications
Aspect-oriented programming
Engineering of Web services with XML and XSL
An architecture for flexible, evolvable process-driven user-guidance environments
An algebraic approach to file synchronization
A formal data-model of the CORBA security service
EasyWinWin: a groupware-supported methodology for requirements negotiation
York: programming software components
Requirements-based product line engineering
From use cases to code---rigorous software development with UML
Peer-to-peer information systems: concepts and models, state-of-the-art, and future systems
Fundamental concepts for practical software architecture

Similar Documents

...
A formal data-model of the CORBA security service

Article

...
A formal data-model of the corba security service (2001).

...
A Formal Analysis of the CORBA Security Service (2001)

Article

...
A Formal Analysis of the CORBA Security Service (2001)

...
Formal specification of corba services using object-z (1998)

Article

...
ECEASST A Formal Specification of the DNSSEC Model

Article

...
Formal specification of CORBA services: experience and lessons learned (2000)

Article

...
PetShop: a tool for the formal specification of CORBA systems

Article

...
Formal Modeling of a Kind of IDS and Research of Its Detection Technology

Article

A formal data-model of the CORBA security service

Content Provider ACM Digital Library
Author ViganĂ², Luca Rittinger, Frank Basin, David
Abstract We use the formal language Z to specify and analyze the security service of CORBA. In doing so, we tackle the problem of how one can apply lightweight formal methods to improve the precision and aid the analysis of a substantial, informal specification. Our approach is scenario-driven: we use representative scenarios to determine which parts of the informal specification should be formalized and then verify the formal specification against the requirements of these scenarios.
Starting Page 303
Ending Page 304
Page Count 2
File Format PDF
ISBN 1581133901
DOI 10.1145/503209.503253
Language English
Publisher Association for Computing Machinery (ACM)
Publisher Date 2001-09-10
Publisher Place New York
Access Restriction Subscribed
Subject Keyword Z Specification Corba security Formal methods
Content Type Text
Resource Type Article
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
I will try my best to help you...
Cite this Content
Loading...