Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control.

Computer Science. --- Computer Communication Networks. --- Data Encryption. --- Software Engineering/Programming and Operating Systems. --- Algorithm Analysis and Problem Complexity. --- Math Applications in Computer Science. --- Models and Principles. --- Computer science. --- Software engineering. --- Data encryption (Computer science). --- Computer software. --- Informatique --- Réseaux d'ordinateurs --- Génie logiciel --- Chiffrement (Informatique) --- Logiciels --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Computer communication systems. --- Algorithms. --- Computer science --- Computers. --- Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer security --- Cryptography --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Mathematics --- Foundations --- Distributed processing --- Cryptology. --- Software, Computer --- Computer networks. --- Data encryption (Computer science) --- Computer science—Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers presented together with 4 idea papers were carefully reviewed and selected from 55 submissions. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications.

Mathematics --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- DES (data encryption standard) --- cryptologie --- computers --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- wiskunde --- software engineering --- programmatielogica --- computernetwerken --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)