CCS concepts and typos in intro

introduction.tex

 \section{Introduction}\label{introduction}
 
-SSH is a security protocols that is widely to interact securely with
+SSH is a security protocol that is widely used to interact securely with
 remote machines. SSH -- or more precisely, the transport layer
 protocol of SSH -- has been subjected to security analysis
 \cite{Williams2011Analysis}, incl.\ analyses that revealed

main.tex

@@ -109,19 +109,30 @@ effectively fingerprinted.
 % http://dl.acm.org/ccs.cfm
 % Please copy and paste the code instead of the example below. 
 %
+
 \begin{CCSXML}
 <ccs2012>
 <concept>
-<concept_id>10003033.10003039.10003041.10003042</concept_id>
-<concept_desc>Networks~Protocol testing and verification</concept_desc>
+<concept_id>10003033.10003039.10003041</concept_id>
+<concept_desc>Networks~Protocol correctness</concept_desc>
+<concept_significance>500</concept_significance>
+</concept>
+<concept>
+<concept_id>10003752.10010070.10010071.10010286</concept_id>
+<concept_desc>Theory of computation~Active learning</concept_desc>
 <concept_significance>500</concept_significance>
 </concept>
 <concept>
-<concept_id>10003752.10003766</concept_id>
-<concept_desc>Theory of computation~Formal languages and automata theory</concept_desc>
+<concept_id>10011007.10010940.10010992.10010998.10003791</concept_id>
+<concept_desc>Software and its engineering~Model checking</concept_desc>
 <concept_significance>500</concept_significance>
 </concept>
 <concept>
+<concept_id>10002978.10002986.10002990</concept_id>
+<concept_desc>Security and privacy~Logic and verification</concept_desc>
+<concept_significance>300</concept_significance>
+</concept>
+<concept>
 <concept_id>10002978.10003014</concept_id>
 <concept_desc>Security and privacy~Network security</concept_desc>
 <concept_significance>300</concept_significance>
@@ -129,10 +140,13 @@ effectively fingerprinted.
 </ccs2012>
 \end{CCSXML}
 
-\ccsdesc[500]{Networks~Protocol testing and verification}
-\ccsdesc[500]{Theory of computation~Formal languages and automata theory}
+\ccsdesc[500]{Networks~Protocol correctness}
+\ccsdesc[500]{Theory of computation~Active learning}
+\ccsdesc[500]{Software and its engineering~Model checking}
+\ccsdesc[300]{Security and privacy~Logic and verification}
 \ccsdesc[300]{Security and privacy~Network security}
 
+
 % We no longer use \terms command
 %\terms{Theory}