Found 6 results
Filters: Author is Alessandro Armando [Clear All Filters]
Assisted Content-based Labelling and Classification of Documents In Proceedings of the International Conference on Military Communications and Information System (ICMCIS)., 2016.
Developing a NATO BYOD Security Policy In International Conference on Military Communications and Information System, ICMCIS. Brussels, Belgium, 2016.
Enabling BYOD Through Secure Meta-market In 2014 ACM Conference on Security and Privacy in Wireless & Mobile Networks, WiSec’14. Oxford, United Kingdom, 2014.
Bring Your Own Device, Securely In 28th Annual ACM Symposium on Applied Computing, SAC’13. Coimbra, Portugal, 2013.
SAT-based Model-Checking for Security Protocols Analysis." International Journal of Information Security 7, no. 1 (2008): 3-32."
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications." In International Conference on Computer Aided Verification CAV 2005. Heidelberg: Springer, 2005."