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 (Nov. 2025), 607–614. DOI:https://doi.org/10.26438/ijcse/v6i11.607613.