Suchergebnisse - "acm: d.: software/d.4: operating systems/d.4.6: security AND protection/d.4.6.0: access control*"

  • Treffer 1 - 3 von 3
Treffer weiter einschränken
  1. 1

    Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment

    Autoren: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

    Weitere Verfasser: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

    Quelle: PLAS - Seventh Workshop on Programming Languages and Analysis for Security ; https://inria.hal.science/hal-00773654 ; PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Jun 2012, Beijing, China. ⟨10.1145/2336717.2336726⟩

    Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.9: Inheritance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.0: Access controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geographisches Schlagwort: Beijing, China

    Verfügbarkeit: https://inria.hal.science/hal-00773654
    https://inria.hal.science/hal-00773654v1/document
    https://inria.hal.science/hal-00773654v1/file/DJR.pdf
    https://doi.org/10.1145/2336717.2336726

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment

    Autoren: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

    Weitere Verfasser: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

    Quelle: PLAS - Seventh Workshop on Programming Languages and Analysis for Security ; https://inria.hal.science/hal-00773654 ; PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Jun 2012, Beijing, China. ⟨10.1145/2336717.2336726⟩

    Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.9: Inheritance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.0: Access controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geographisches Schlagwort: Beijing, China

    Verfügbarkeit: https://inria.hal.science/hal-00773654
    https://inria.hal.science/hal-00773654v1/document
    https://inria.hal.science/hal-00773654v1/file/DJR.pdf
    https://doi.org/10.1145/2336717.2336726

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment

    Autoren: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

    Weitere Verfasser: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

    Quelle: PLAS - Seventh Workshop on Programming Languages and Analysis for Security ; https://inria.hal.science/hal-00773654 ; PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Jun 2012, Beijing, China. ⟨10.1145/2336717.2336726⟩

    Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.9: Inheritance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.0: Access controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geographisches Schlagwort: Beijing, China

    Verfügbarkeit: https://inria.hal.science/hal-00773654
    https://inria.hal.science/hal-00773654v1/document
    https://inria.hal.science/hal-00773654v1/file/DJR.pdf
    https://doi.org/10.1145/2336717.2336726

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: