Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
hutter, dieter
(3)stephan, werner
(2)hutter, d.
(1)müller, günter
(1)stephan, w.
(1)traverso, paolo
(1)ullmann, markus
(1)Schlagwort
edv
(4)informatik
(4)computer communication networks
(2)formal verification
(2)formalverification
(2)handhelds
(2)healthcare
(2)internet security
(2)security
(2)software engineering
(2)trust
(2)web security
(2)ai logics
(1)ailogics
(1)algorithms
(1)ambient intelligence
(1)ambientintelligence
(1)artificial intelligence
(1)artificialintelligence
(1)authentication
(1)automated deduction
(1)automated reasoning
(1)automateddeduction
(1)automatedreasoning
(1)communications security
(1)communicationscryptographicprotocols
(1)computer aided verification
(1)computeraidedverification
(1)cryptographic protocols
(1)cryptology
(1)data security
(1)datasecurity
(1)datenkommunikation
(1)datensicherheit
(1)datensicherung
(1)delegation
(1)dependable systems
(1)dependablesystems
(1)design
(1)erfüllbarkeitsproblem der aussagenlogik
(1)erfüllbarkeitsproblemderaussagenlogik
(1)formal method
(1)formal methods
(1)formalmethod
(1)formalmethods
(1)gesellschaft
(1)identification
(1)identity
(1)information
(1)informationsgesellschaft
(1)informationstechnologie
(1)intelligenz
(1)internets
(1)internetsecurenetworking
(1)it
(1)it security
(1)itsmartcard
(1)jad
(1)java
(1)java card
(1)javacard
(1)ki
(1)kodierungstheorie und verschlüsselung (kryptologie)
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logics and meanings of programs
(1)mathematica
(1)mathematical logic and formal lang
(1)mathematical reasoning
(1)mobile computing
(1)model checking
(1)modelchecking
(1)netzwerk-hardware
(1)netzwerke
(1)operating s
(1)programmier- und skriptsprachen, allgemein
(1)programmiersprachen
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)robot
(1)secure networking
(1)semantic web
(1)sicherheit
(1)smart card
(1)smart cards
(1)soft
(1)software design
(1)software engineering/programming and operating systems
(1)software security
(1)softwaredesign
(1)technologie
(1)theorem proving
(1)theorie
(1)ubiquitous computing
(1)ubiquitouscomputing
(1)ve
(1)webauthentication
(1)wireless network security
(1)wirelessne
(1)Ergebnis: 4 Artikel
Redaktion: dieter hutter
