↓ Skip to main content

B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings

Overview of attention for book
Cover of 'B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 E-Voting and the Need for Rigourous Software Engineering – The Past, Present and Future
  3. Altmetric Badge
    Chapter 2 Using B Machines for Model-Based Testing of Smartcard Software
  4. Altmetric Badge
    Chapter 3 The Design of Spacecraft On-Board Software
  5. Altmetric Badge
    Chapter 4 Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions
  6. Altmetric Badge
    Chapter 5 Chorus Angelorum
  7. Altmetric Badge
    Chapter 6 B 2007: Formal Specification and Development in B
  8. Altmetric Badge
    Chapter 7 Justifications for the Event-B Modelling Notation
  9. Altmetric Badge
    Chapter 8 Automatic Translation from Combined B and CSP Specification to Java Programs
  10. Altmetric Badge
    Chapter 9 Symmetry Reduction for B by Permutation Flooding
  11. Altmetric Badge
    Chapter 10 Instantiation of Parameterized Data Structures for Model-Based Testing
  12. Altmetric Badge
    Chapter 11 Verification of LTL on B Event Systems
  13. Altmetric Badge
    Chapter 12 Patterns for B: Bridging Formal and Informal Development
  14. Altmetric Badge
    Chapter 13 Time Constraint Patterns for Event B Development
  15. Altmetric Badge
    Chapter 14 Modelling and Proof Analysis of Interrupt Driven Scheduling
  16. Altmetric Badge
    Chapter 15 Refinement of Statemachines Using Event B Semantics
  17. Altmetric Badge
    Chapter 16 Formal Transformation of Platform Independent Models into Platform Specific Models
  18. Altmetric Badge
    Chapter 17 Refinement of eb 3 Process Patterns into B Specifications
  19. Altmetric Badge
    Chapter 18 Security Policy Enforcement Through Refinement Process
  20. Altmetric Badge
    Chapter 19 Integration of Security Policy into System Modeling
  21. Altmetric Badge
    Chapter 20 Experiences in Using B and UML in Industrial Development
  22. Altmetric Badge
    Chapter 21 B in Large-Scale Projects: The Canarsie Line CBTC Experience
  23. Altmetric Badge
    Chapter 22 A Tool for Firewall Administration
  24. Altmetric Badge
    Chapter 23 The B-Method for the Construction of Microkernel-Based Systems
  25. Altmetric Badge
    Chapter 24 Hardware Verification and Beyond: Using B at AWE
  26. Altmetric Badge
    Chapter 25 A JAG Extension for Verifying LTL Properties on B Event Systems
  27. Altmetric Badge
    Chapter 26 A Generic Flash-Based Animation Engine for ProB
  28. Altmetric Badge
    Chapter 27 BE 4 : The B Extensible Eclipse Editing Environment
  29. Altmetric Badge
    Chapter 28 BRAMA: A New Graphic Animation Tool for B Models
  30. Altmetric Badge
    Chapter 29 LEIRIOS Test Generator: Automated Test Generation from B Models
  31. Altmetric Badge
    Chapter 30 Meca: A Tool for Access Control Models
  32. Altmetric Badge
    Chapter 31 JML2B: Checking JML Specifications with B Machines
  33. Altmetric Badge
    Chapter 32 Plug-and-Play Nondeterminacy
Attention for Chapter 19: Integration of Security Policy into System Modeling
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
4 Mendeley
citeulike
2 CiteULike
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Integration of Security Policy into System Modeling
Chapter number 19
Book title
B 2007: Formal Specification and Development in B
Published by
Springer, Berlin, Heidelberg, January 2007
DOI 10.1007/11955757_19
Book ISBNs
978-3-54-068760-3, 978-3-54-068761-0
Authors

Nazim Benaïssa, Dominique Cansell, Dominique Méry

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Lecturer 1 25%
Professor 1 25%
Student > Ph. D. Student 1 25%
Researcher 1 25%
Professor > Associate Professor 1 25%
Other 0 0%
Readers by discipline Count As %
Computer Science 5 125%