Listing 1 - 2 of 2 |
Sort by
|
Choose an application
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
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.
Complex analysis --- Mathematics --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- cryptografie --- complexe analyse (wiskunde) --- computers --- informatica --- computerbesturingssystemen --- externe fixatie (geneeskunde --- programmeren (informatica) --- wiskunde --- software engineering --- algoritmen --- computernetwerken
Listing 1 - 2 of 2 |
Sort by
|