Dynamic Maximal Cliques Detection and Evolution Management in Social Internet of Things: A Formal Concept Analysis Approach | IEEE Journals & Magazine | IEEE Xplore