Kumar, Y. N. and Madhavi, K. (2025) “Specification and Verification Framework with Time Constraints for Security”, International Journal of Computer Sciences and Engineering, 6(11), pp. 607–614. doi: 10.26438/ijcse/v6i11.607613.