Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies.
- Published in:
- International Journal of Information Security, 2020, v. 19, n. 2, p. 163, doi. 10.1007/s10207-019-00448-9
- By:
- Publication type:
- Article
Works matching IS 16155262 AND DT 2020 AND VI 19 AND IP 2
Results: 6
1
2
SEDS: secure and efficient server-aided data deduplication scheme for cloud storage.
- Published in:
- International Journal of Information Security, 2020, v. 19, n. 2, p. 229, doi. 10.1007/s10207-019-00455-w
- By:
- Publication type:
- Article
3
Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies.
- Published in:
- 2020
- By:
- Publication type:
- Correction Notice
4
Attacks on smart grid: power supply interruption and malicious power generation.
- Published in:
- International Journal of Information Security, 2020, v. 19, n. 2, p. 189, doi. 10.1007/s10207-019-00452-z
- By:
- Publication type:
- Article
5
SonarSnoop: active acoustic side-channel attacks.
- Published in:
- International Journal of Information Security, 2020, v. 19, n. 2, p. 213, doi. 10.1007/s10207-019-00449-8
- By:
- Publication type:
- Article
6
Designing in-VM-assisted lightweight agent-based malware detection framework for securing virtual machines in cloud computing.
- Published in:
- International Journal of Information Security, 2020, v. 19, n. 2, p. 147, doi. 10.1007/s10207-019-00447-w
- By:
- Publication type:
- Article