Kumar, Yenam Naresh, and Karanam Madhavi. 2025. “Specification and Verification Framework With Time Constraints for Security”. International Journal of Computer Sciences and Engineering 6 (11):607-14. https://doi.org/10.26438/ijcse/v6i11.607613.