diff --git a/src/main/java/tmltranslator/SecurityPattern.java b/src/main/java/tmltranslator/SecurityPattern.java
index fc159f61018080eb91bc2bcb44a286e568cf5395..09d9fdb83c5a53db3358424d5c3e754622302989 100644
--- a/src/main/java/tmltranslator/SecurityPattern.java
+++ b/src/main/java/tmltranslator/SecurityPattern.java
@@ -43,6 +43,7 @@ package tmltranslator;
 import avatartranslator.AvatarState;
 import myutil.TraceManager;
 
+import java.util.Locale;
 import java.util.Objects;
 
 
@@ -133,4 +134,11 @@ public class SecurityPattern {
 
     }
 
+    public boolean isNonceType() {
+        if (type == null) {
+            return false;
+        }
+        return type.toLowerCase(Locale.ROOT).equals("nonce");
+    }
+
 }
diff --git a/src/main/java/tmltranslator/TMLSyntaxChecking.java b/src/main/java/tmltranslator/TMLSyntaxChecking.java
index 495eeb2a6c211a4c4cf0679262494a5db6d457ec..b63a6772075f3560ee314a6019cd784cb61f77a7 100755
--- a/src/main/java/tmltranslator/TMLSyntaxChecking.java
+++ b/src/main/java/tmltranslator/TMLSyntaxChecking.java
@@ -1070,9 +1070,11 @@ public class TMLSyntaxChecking {
 
     public void checkMappingOfSecurityPattern() {
         for(SecurityPattern sp: tmlm.secPatterns) {
-            List<HwMemory> mems = mapping.getMappedMemory(sp);
-            if ( (mems == null) || (mems.size() == 0) ) {
-                addWarning(null, null, SECURITY_PATTERN_NOT_MAPPED + ": " + sp.getName(), TMLError.ERROR_STRUCTURE);
+            if (!(sp.isNonceType())) {
+                List<HwMemory> mems = mapping.getMappedMemory(sp);
+                if ((mems == null) || (mems.size() == 0)) {
+                    addWarning(null, null, SECURITY_PATTERN_NOT_MAPPED + ": " + sp.getName(), TMLError.ERROR_STRUCTURE);
+                }
             }
 
         }