Publicacoes - INESC TEC

Publicações

Publicações por HASLab

2017

Exploring SDN to Deploy Flexible Sampling-Based Network Monitoring

Autores
da Silva, CP; Lima, SR; Silva, JMC;

Publicação
Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings

Abstract

2017

LiteSense: An adaptive sensing scheme for WSNs

Autores
Silva, JMC; Bispo, KA; Carvalho, P; Lima, SR;

Publicação
2017 IEEE Symposium on Computers and Communications, ISCC 2017, Heraklion, Greece, July 3-6, 2017

Abstract

2017

Certified Password Quality

Autores
Ferreira, JF; Johnson, SA; Mendes, A; Brooke, PJ;

Publicação
Lecture Notes in Computer Science - Integrated Formal Methods

Abstract

2017

Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules

Autores
Ferreira, JF; Johnson, SA; Mendes, A; Brooke, PJ;

Publicação
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Abstract
We propose the use of modern proof assistants to specify, implement, and verify password quality checkers. We use the proof assistant Coq, focusing on Linux PAM, a widely-used implementation of pluggable authentication modules for Linux. We show how password quality policies can be expressed in Coq and how to use Coq’s code extraction features to automatically encode these policies as PAM modules that can readily be used by any Linux system. We implemented the default password quality policy shared by two widely-used PAM modules: pam_cracklib and pam_pwquality. We then compared our implementation with the original modules by running them against a random sample of 100,000 leaked passwords obtained from a publicly available database. In doing this, we demonstrated a potentially serious bug in the original modules. The bug was reported to the maintainers of Linux PAM and is now fixed. © Springer International Publishing AG 2017.

FecharLer Abstract

2017

Mise-En-Scène of Narrative Action in Interactive Storytelling

Autores
Matthews, J; Charles, F; Porteous, J; Mendes, A;

Publicação
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017

Abstract

2017

MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling

Autores
Matthews, J; Charles, F; Porteous, J; Mendes, A;

Publicação
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017

Abstract