Cited By
View all- Zhang Y(2023)Analysis of OSPU security effect and data assembly verification under semi-network OS architectureInternational Journal of Information Security10.1007/s10207-023-00702-122:5(1497-1509)Online publication date: 18-May-2023
- Marx MSchwarz MBlochberger MWille FFederrath H(2020)Context-Aware IPv6 Address HoppingInformation and Communications Security10.1007/978-3-030-41579-2_31(539-554)Online publication date: 18-Feb-2020
- Shimamoto HYanai NOkamura SCruz JOu SOkubo T(2019)Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With CacheIEEE Access10.1109/ACCESS.2019.29206757(74941-74960)Online publication date: 2019
- Show More Cited By