Serie
lecture notes in computer science
(23)security and cryptology
(14)programming and software engineering
(4)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
gal-oz, nurit
(2)garay, juan a.
(2)gennaro, rosario
(2)gudes, ehud
(2)guo, fuchun
(2)kutylowski, miroslaw
(2)vaidya, jaideep
(2)zhang, jie
(2)zhou, jianying
(2)astarte, troy
(1)barreto, paulo
(1)biere, armin
(1)blazy, sandrine
(1)bloem, roderick
(1)campos, josé
(1)cerone, antonio
(1)couto, luis
(1)de prisco, roberto
(1)delmas,
(1)dongol, brijesh
(1)farrell, marie
(1)gonnord, laure
(1)guidotti, riccardo
(1)huang, xinyi
(1)jang-jaccard, julian
(1)jensen, thomas
(1)kotulski, zbigniew
(1)ksiezopolski, bogdan
(1)kutrib, martin
(1)luckcuck, matt
(1)marmsoler, diego
(1)mazur, katarzyna
(1)meier, willi
(1)merz, stephan
(1)monteiro, pedro
(1)moreira, nelma
(1)mouri, koichi
(1)mu, yi
(1)mukhopadhyay, debdeep
(1)nascimento, anderson c. a.
(1)oliveira, josé n.
(1)ors, berna
(1)pang, jun
(1)preneel, bart
(1)ranise, silvio
(1)ratiu, daniel
(1)riis nielson, hanne
(1)sekerinski, emil
(1)susilo, willy
(1)swarup, vipin
(1)tuosto, emilio
(1)yoshida, maki
(1)you, ilsun
(1)yung, moti
(1)zirkas, vassilis
(1)Verlag / Hersteller
springer berlin heidelberg
(6)springer international publishing
(17)springer, berlin springer international publishing springer
(2)Verlag
springer
(3)springer berlin heidelberg
(6)springer international publishing
(20)springer, berlin
(3)Schlagwort
edv
(26)
formalmethodsandtheoryofsecurity
(26)informatik
(26)formal methods and theory of security
(25)cryptography
(13)network security
(10)networksecurity
(8)database and storage security
(7)authentication
(6)securityandprivacy
(6)computersicherheit
(5)databaseandstoragesecurity
(5)humanandsocietalaspectsofsecurityandprivacy
(5)intrusion
(5)security services
(5)securityservices
(5)computer science
(4)cryptanalysis and other attacks
(4)cryptanalysisandotherattacks
(4)cryptographic protocols
(4)formal languages and automata theory
(4)formallanguagesandautomatatheory
(4)human and societal aspects of security and privacy
(4)intrusion/anomaly detection and malware mitigation
(4)systems and data security
(4)access control
(3)accesscontrol
(3)anomalydetectionandmalwaremitigation
(3)applications
(3)cloud computing
(3)cloudcomputing
(3)computers and society
(3)conference proceedings
(3)cryptographicprotocols
(3)datensicherheit
(3)datensicherung
(3)datenverarbeitung
(3)datenverschlüsselung, kryptografie
(3)homomorphic encryption
(3)homomorphicencryption
(3)informatics
(3)logic
(3)model checking
(3)research
(3)security and privacy
(3)semantics and reasoning
(3)semanticsandreasoning
(3)sicherheit
(3)software and application security
(3)softwareandapplicationsecurity
(3)symbolicandalgebraicmanipulation
(3)systems security
(3)anomaly detection
(2)anomalydetection
(2)artificial intelligence
(2)artificialintelligence
(2)block and stream ciphers
(2)blockandstreamciphers
(2)computer security
(2)computersecurity
(2)cryptology
(2)datasecurity
(2)diffie-hellman key exchange
(2)diffie-hellmankeyexchange
(2)distributed systems
(2)distributedsystems
(2)elliptic curves
(2)ellipticcurves
(2)ethische und soziale fragen der it
(2)formal methods
(2)formal software verification
(2)formalmethods
(2)formalsoftwareverification
(2)hardware attacks and countermeasures
(2)hardwareattacksandcountermeasures
(2)hash functions and message authentication codes
(2)hashfunctionsandmessageauthenticationcodes
(2)human and societal aspects of secur
(2)information systems and communic
(2)information-theoretic techniques
(2)information-theoretictechniques
(2)internet
(2)intrusion detection
(2)intrusiondetection
(2)key management
(2)keymanagement
(2)logic and verification
(2)machine learning
(2)machinelearning
(2)malware mitigation
(2)malwaremitigation
(2)mathema
(2)mathematicalfounda
(2)mobile devices
(2)mobiledevices
(2)modelchecking
(2)modeling and simulation
(2)modelingandsimulation
(2)privacy
(2)programreasoning
(2)Ergebnis: 26 Artikel
Schlagwort: formalmethodsandtheoryofsecurity
