Приложения с тегом Безопасность

IP blocker for Windows. PeerGuardian 2 integrates support for multiple lists, list editing, automatic updates, and blocking all of IPv4 (TCP, UDP, ICMP, etc), making it the safer and easier …

Protect your laptop or mobile device with the Snuko anti-theft software. Retrieve data, encrypt files, lock down your device and even locate it. Nowadays no laptop should be without anti-theft …

Sygate Personal Firewall is a bit old but good firewall for Windows. It uses very small amount of system resources and is quite robust. The project is now abandoned because …

Norton Online Family protects your kids from online predators by allowing you to understand what your kids are really doing online and spot potential dangers before they become problems

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer. It also allows …

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It …

Application Blocker Pro parental software is an application specially created for parents concerned about their childrens computer activities including the Internet usage. Features: Block websites;Block programs; Block chat; Block games; …

The Samhain host-based intrusion detection system (HIDS) provides file integrity checking and log file monitoring/analysis, as well as rootkit detection, port monitoring, detection of rogue SUID executables,...

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those …