Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for discovering vulnerabilities of operating system access control mechanism based on model checking

Method for discovering vulnerabilities of operating system access control mechanism based on model checking

US Patent 11868481 · Granted Jan 9, 2024

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Bed rail2025
Universal aptamer-based colloidal gold lateral flow test strip for detecting sma2025
Method and apparatus for determining touch position, and electronic device2025
Method for producing tetrafluoromethane through plasma pyrolysis of waste polyte2025
Safety management and control system for full lifecycle of industrial control da2025
Method and device for privacy protection biometric authentication, and electroni2025
Network reachability solving algorithm based on formal verification2025
Network reachability solving algorithm based on formal verification2025
Batch privacy information retrieval method and apparatus2024
Multimodal speech recognition method and system, and computer-readable storage m2024
Multi-party privacy computing method and device based on semi-trusted hardware2024
Method and device for remote acquisition of correlated pseudo-random numbers bas2024