On Sep 6, 2013, at 1:10 PM, Juan Lang wrote:

> Hiya Chip,
> 
> I don't have an answer off the top of my head. But let's see if we can unpack 
> that ASN.1 a bit.
> 
> First, with the type, notice that crypt32_private.h defines a few useful 
> types that Microsoft omitted for some reason from their public header, 
> including:
> #define ASN_SETOF           (ASN_UNIVERSAL | ASN_PRIMITIVE | 0x11)
> Okay, so that's what we're dealing with.
I guess that makes sense... even though the tag in question is an 
ASN_CONSTRUCTOR instead of an ASN_PRIMITIVE. I must've overlooked that because 
it didn't have the ASN_CONSTRUCTOR bit set.
> 
> Next, to help sort it out: write each of the blobs to a binary, and interpret 
> it with "openssl asn1parse -dump -i -inform DER". Here's the output from 
> PKCSSignerWithUnknownItem31:
> 
>     0:d=0  hl=4 l= 146 cons: SEQUENCE          
>     4:d=1  hl=2 l=   1 prim:  INTEGER           :00
>     7:d=1  hl=2 l=  25 cons:  SEQUENCE          
>     9:d=2  hl=2 l=  20 cons:   SEQUENCE          
>    11:d=3  hl=2 l=  18 cons:    SET               
>    13:d=4  hl=2 l=  16 cons:     SEQUENCE          
>    15:d=5  hl=2 l=   3 prim:      OBJECT            :commonName
>    20:d=5  hl=2 l=   9 prim:      PRINTABLESTRING   :Juan Lang
>    31:d=2  hl=2 l=   1 prim:   INTEGER           :01
>    34:d=1  hl=2 l=   6 cons:  SEQUENCE          
>    36:d=2  hl=2 l=   2 prim:   OBJECT            :1.2.3
>    40:d=2  hl=2 l=   0 prim:   NULL              
>    42:d=1  hl=2 l=  96 cons:  SET               
>    44:d=2  hl=2 l=   0 prim:   EOC               
> (a bunch of these omitted)
>   140:d=1  hl=2 l=   6 cons:  SEQUENCE          
>   142:d=2  hl=2 l=   2 prim:   OBJECT            :1.5.6
>   146:d=2  hl=2 l=   0 prim:   NULL              
>   148:d=1  hl=2 l=   0 prim:  OCTET STRING      
> 
> And here's the output from PKCSSignerWithAuthAttrAndUnknownItem31:
>     0:d=0  hl=4 l= 196 cons: SEQUENCE          
>     4:d=1  hl=2 l=   1 prim:  INTEGER           :00
>     7:d=1  hl=2 l=  25 cons:  SEQUENCE          
>     9:d=2  hl=2 l=  20 cons:   SEQUENCE          
>    11:d=3  hl=2 l=  18 cons:    SET               
>    13:d=4  hl=2 l=  16 cons:     SEQUENCE          
>    15:d=5  hl=2 l=   3 prim:      OBJECT            :commonName
>    20:d=5  hl=2 l=   9 prim:      PRINTABLESTRING   :Juan Lang
>    31:d=2  hl=2 l=   1 prim:   INTEGER           :01
>    34:d=1  hl=2 l=   6 cons:  SEQUENCE          
>    36:d=2  hl=2 l=   2 prim:   OBJECT            :1.2.3
>    40:d=2  hl=2 l=   0 prim:   NULL              
>    42:d=1  hl=2 l=  32 cons:  cont [ 0 ]        
>    44:d=2  hl=2 l=  30 cons:   SEQUENCE          
>    46:d=3  hl=2 l=   3 prim:    OBJECT            :commonName
>    51:d=3  hl=2 l=  23 cons:    SET               
>    53:d=4  hl=2 l=  21 cons:     SEQUENCE          
>    55:d=5  hl=2 l=  19 cons:      SET               
>    57:d=6  hl=2 l=  17 cons:       SEQUENCE          
>    59:d=7  hl=2 l=   3 prim:        OBJECT            :commonName
>    64:d=7  hl=2 l=  10 prim:        PRINTABLESTRING   :Juan Lang
>    76:d=1  hl=2 l=  96 cons:  SET               
>    78:d=2  hl=2 l=   0 prim:   EOC               
> (again, a bunch of these omitted)
>   174:d=1  hl=2 l=   6 cons:  SEQUENCE          
>   176:d=2  hl=2 l=   2 prim:   OBJECT            :1.5.6
>   180:d=2  hl=2 l=   0 prim:   NULL              
>   182:d=1  hl=2 l=  16 prim:  OCTET STRING      
>       0000 - 00 01 02 03 04 05 06 07-08 09 0a 0b 0c 0d 0e 0f   
> ................
> 
> You can see that in the latter case, you've got a context-specific tag of 0 
> wrapping a sequence containing a non-empty set. That context-specific [0] 
> looks an awful lot like "signedAttrs [0] IMPLICIT SignedAttributes OPTIONAL," 
> no? And SignedAttributes is defined as "SignedAttributes ::= SET SIZE 
> (1..MAX) OF Attribute".
Yep, I remember reading that in the specs, but I was thrown off by Wine 
expecting some custom tag (ASN_CONTEXT | ASN_CONSTRUCTOR | 0) for that.
> 
> Anyway, in the latter case, the signed attributes precede the set, and in the 
> former case they're missing.
> 
> In addition to that, it's not entirely clear from your test results that it's 
> expected to succeed in Windows in either case:
> 
> +    ret = pCryptDecodeObjectEx(dwEncoding, PKCS7_SIGNER_INFO,
> +     PKCSSignerWithAuthAttrAndUnknownItem31,
> +     sizeof(PKCSSignerWithAuthAttrAndUnknownItem31),
> +     CRYPT_DECODE_ALLOC_FLAG, NULL, &buf, &size);
> +    if (ret)
> 
> You don't have an ok(ret) here. I can't blame you too much for that, though: 
> it looks like I omitted a bunch of ok(ret)s in my tests too. Sigh. Sorry 
> about that. Could you add that and see what that turns up?
I did what you said, and it turns out that my initial analysis (if you can call 
it that) was wrong. Windows Crypto doesn't accept the SET either way (cf. job 
2056 on newtestbot).

In the "AuthAttrsAndUnknownItem" case, it might be because it already 
encountered the AuthAttrs set and didn't expect to find another one. But I 
suspect that in the other case (just with the "UnknownItem"), it's because 
Crypto was expecting to find something in the set, but didn't. (I did, after 
all, fill the set with zeroes.)

Maybe then the real fix is to make Wine accept either a constructor SET or the 
custom tag (ASN_CONTEXT | ASN_CONSTRUCTOR) it currently accepts, for either 
attribute set. I should come up with a test case first, though, to see if 
that's what Windows does. I'll get back to you on that.

Chip

> --Juan
> 
> 
> On Thu, Sep 5, 2013 at 11:57 PM, Charles Davis <cdavi...@gmail.com> wrote:
> Hi Juan,
> 
> I need some advice.
> 
> Attached is a patch to fix bug 34388, where an app that tries to verify its 
> code signature fails because Wine, while parsing the certificates embedded 
> within the signature, encounters an item in the CMS signer info (tag 0x31, 
> i.e. ASN_UNIVERSAL | ASN_CONSTRUCTOR | 0x11), right before the 
> HashEncryptionAlgorithm sequence item, that it doesn't yet know how to 
> decode. This patch (which just skips the item in question) allows that app to 
> successfully verify its code signature and run, but...
> 
> My testing on Windows (cf. job 2037 on newtestbot) shows some interesting 
> behavior. Windows will indeed accept this item, but only if the AuthAttrs 
> item is also present and immediately precedes it in the sequence. (The other 
> test bails out with CRYPT_E_ASN_BADTAG.) I don't quite know what to make of 
> this. The odd thing is that the certificate in question doesn't have this 
> optional AuthAttrs item, and yet (in most cases, at least) most people who 
> run this particular app on Windows do not have this problem. I can't seem to 
> find anything about this from reading the relevant RFCs. Is there something 
> I'm missing?
> 
> Thanks.
> 
> Chip
> 



Reply via email to