cloud security.
Edit page layout of export LaTeX file.
add something related to microkernel and lockset algorithm.
generated tex and pdf.