Übersicht der Quellen

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quellverzeichnis products/Sources/formale Sprachen/C/Android/trusty/trusty/user/base/interface/


 
acvp
 
 
apploader
 
 
arm_ffa
 
 
authmgr
 
 
authmgr-dice-policy-matching
 
 
authmgr-handover
 
 
binder_accessor
 
 
boot_done
 
 
commservice
 
 
coverage
 
 
device_tree
 
 
gatekeeper
 
 
hwaes
 
 
hwbcc
 
 
hwkey
 
 
hwrng
 
 
hwwsk
 
 
keybox
 
 
keymaster
 
 
line-coverage
 
 
metrics
 
 
provisioning
 
 
secure_dpu
 
 
secure_fb
 
 
secure_storage
 
 
shared_secret
 
 
smc
 
 
spi
 
 
stats
 
 
stats_setter
 
 
storage
 
 
system_state
 
 
trusty_cli
 
 
vm_attestation
 


Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.


  

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik