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

Subjects: Get full text

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

Subjects: Get full text

Computer data examination: the essence and procedural order by A. V. Kovalenko

Subjects: Get full text

Some Aspects of the Evidentiary Process during the Arbitration of Civil Cases by L. V. Sapeiko

Subjects: Get full text

Problems of proving in criminal proceedings based on violations of war laws and customs by A. V. Shulzhenko

Subjects: Get full text

Collecting facts and burden of proof in administrative procedure by Milkov Dragan L., Radošević Ratko S.

Subjects: Get full text

Att bevisa målbildsuppsåt vid penningtvättsbrott – möjligheter och svårigheter by Jussi Karkkulainen

Subjects: Get full text

En los orígenes de la observancia by María Luz Ríos Rodríguez, M.ª Dolores Fraga Sampedro

Subjects: Get full text

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

Subjects: Get full text