Showing 1 - 3 results of 3 for search '"theorem prove"', query time: 0.02s Refine Results
  1. 1
    Research on formal security policy model specification and its formal analysis

    Research on formal security policy model specification and its formal analysis by LI Li-ping1, QING Si-han1, ZHOU Zhou-yi1, HE Jian-bo1, WEN Hong-zi3

    Published 2006-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Formal modeling and analyzing method for database security policy

    Formal modeling and analyzing method for database security policy by Rong WANG, Min ZHANG, Deng-guo FENG, Hao LI

    Published 2015-09-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems

    MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems by Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem

    Published 2021-08-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: