2 files changed, 8 insertions, 1 deletions
diff --git a/src/main/model/ca/AuditLogEntry.java b/src/main/model/ca/AuditLogEntry.java
index a8d1929..673055a 100644
--- a/src/main/model/ca/AuditLogEntry.java
+++ b/src/main/model/ca/AuditLogEntry.java
@@ -20,6 +20,9 @@ public class AuditLogEntry {
         this.action = action;
     }
 
+    /**
+     * EFFECTS: Format log in the time\tuser\taction format.
+     */
     @Override
     public String toString() {
         return String.format("%s\t%s\t%s", time, user, action);
diff --git a/src/main/model/ca/CertificationAuthority.java b/src/main/model/ca/CertificationAuthority.java
index b724e83..0246ff2 100644
--- a/src/main/model/ca/CertificationAuthority.java
+++ b/src/main/model/ca/CertificationAuthority.java
@@ -55,7 +55,7 @@ public class CertificationAuthority {
     private RSAPublicKey publicKey;
 
     /**
-     * The signed certificate.
+     * The CA certificate.
      */
     @Assoc(partOf = true, lowerBond = 0)
     private Certificate certificate;
@@ -323,6 +323,10 @@ public class CertificationAuthority {
                                                 }))}));
     }
 
+    /**
+     * EFFECTS: Encode the public key into ASN.1 bit string, including public exponent and modules.
+     * REQUIRES: getPublicKey() != null
+     */
     private Byte[] getPubKeyBitStream() {
         final RSAPublicKey pub = getPublicKey();
         final BigInteger exponent = pub.getPublicExponent();