Войти

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

для
Фильтр альтернатив по платформе
— Все платформы
Веб
— Онлайн Сервис • 4
Настольные ПК
— Windows • 9 — Linux • 7 — macOS • 7
Мобильные платформы
— Android • 3 — iPhone • 1 — Blackberry • 1
Остальные
— Self Hosted • 1
с
Фильтр альтернатив по лицензии
сбросить фильтры
Логотип PeerGuardian
19

Использую

PeerGuardian 5 альтернатив

  • Security
  • Lists
  • Anonymity
  • Peer To Peer
  • Safety

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 …

Открытое ПO
Linux
Windows
macOS
Логотип DansGuardian
6

Использую

DansGuardian 20 альтернатив

  • Security
  • Freebsd
  • Proxy
  • Safety
  • Filter

DansGuardian is an award winning Open Source web content filter which currently runs on Linux, FreeBSD, OpenBSD, NetBSD, Mac OS X, HP-UX, and Solaris. It filters the actual content of …

Открытое ПO
BSD
Linux
macOS
Логотип Coq
2

Использую

Coq 3 альтернативы

  • Verification
  • Mathematics
  • Safety
  • Proofs
  • Formal

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 …

Открытое ПO
Linux
Windows
macOS
Логотип Hidden
1

Использую

Hidden 7 альтернатив

  • Safety
  • Device Tracking
  • Theft Recovery
  • Stolen
  • Find Mac

If your computer is stolen, Hidden will show you where it is and who has it. Hidden will kick into action and locate it anywhere, collect photos of the thief …

Платно
macOS
Логотип Agda
1

Использую

Agda 2 альтернативы

  • Programming Language
  • Verification
  • Mathematics
  • Safety
  • Proofs

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 …

Открытое ПO
Linux
Windows
macOS
0

Использую

Samhain 1 альтернатива

  • Safety
  • Intrusion Detection
  • Integrity

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,...

Открытое ПO
Linux
Windows
macOS
Логотип Isabelle
0

Использую

Isabelle 2 альтернативы

  • Mathematics
  • Safety
  • Proofs
  • Formal
  • Proof Assistant

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 …

Открытое ПO
Linux
Windows
macOS

Что в этом списке?

Этот список содержит 7 приложений с тегом Безопасность. Список можно фильтровать по типу лицензии, платформе. Возможен просмотр приложений со связанными тегами. Поддерживается сортировка по количеству пользователей которые уже используют приложение, или дате добавления.

Последнее обновление списка: 15 декабря 2014 г. 0:49

Вы можете дополнить или изменить информациию о любом приложении на SuggestUse. За внесение любой информации вам будут начислены поинты.

Сортировка приложений

Связанные теги