用有穷自动机解析Cookie.doc

《用有穷自动机解析Cookie.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、用有穷自动机解析Cookie以前我们开发一个代理转换服务器，它位于移动设备(或者移动设备网关, 如WAP网关）与WEB服务器之间，移动设备通过我们的代理转换服务器去访问WEB服务器，代理转换服务器会把取到的网页（HTML）转换成移动设备支持的网页（如XHTML/CHTML/HDML/WML等),然后发给设备。这样，移动设备就可以访问现有的WEB服务了。后来，客户要求加一个功能：大多数网站都要求浏览器支持Cookie，但很多移动设备的浏览器没有这个功能，因为这个原因，设备访问不了这些网站。客户要求代理转换服务器能够解决这个问题

2、。在代理转换服务器解中解决这个问题并不困难，可以这样实现：当设备通过代理转换服务器访问WEB服务器时，如果在WEB服务器的响应中带有Set-Cookie，则代理转换服务器把它存起来，在这个设备后续访问时, 代理转换服务器会从数据库中把Cookie取出来，加到请求里，并发送给WEB服务器，这就模拟了设备支持Cookie的功能。实现时，我们需要把Cookie解析出来，并加上SessionID，查找时要根据SessionID和Domain等条件进行匹配，满足条件才加入到请求头中。同时要定期检查Cookie是否过期，若过期了，则从数

3、据库中删除。这里涉及到Cookie的解析和重组，当然这非常简单，我们用一个小程序演示如何用DFA解析Cookie。Cookie的格式为:“NAME=VALUE;expires=DATE;path=PATH;domain=DOMAIN_NAME;Secure”一个Cookie可以看作一个一个的{KEY,VALUE}对，KEY和Value之间用’=’分隔，{KEY,VALUE}对之间用’;’分隔，有的Value是可选的，如Secure。DFA的描述如下：字母表：ASCII码状态：KEY前、KEY中，VALUE前，VALUE中和接

4、受状态。KEY前状态同时是起始状态。转换规则：KEY前状态下读到非空格，进入在KEY中。KEY中状态下读到’=’，进入VALUE前状态。KEY中状态下读到’;’，进入KEY前状态。VALUE前状态下读到非空格，进入VALUE中状态。VALUE中状态下读到’;’， 进入KEY前。KEY前状态、KEY中状态,VALUE前和VALUE中状态下读到’/0’，进入结束状态。每当读到一个完整的{KEY,VALUE}，就调用一个回调函数去构建Cookie。实现代码如下：//Build:gcc-DDEBUG-gparsecookie.c-o

5、pc.exe#include #include #include #include  typedef int (COOKIE_BUILDER)(void*pBuildCtx, const char*key, const char*value);//"Set-Cookie:name=value;Expires=date;domain=domainname;path=path;secure;"int ParseCookie(const char*psz

6、Cookie, void*pBuildCtx,COOKIE_BUILDERBuilder){         enum         {                  STAT_BEFORE_KEY,                  STAT_IN_KEY,                  STAT_BEFORE_VALUE,                  STAT_IN_VALUE         }eState=STAT_BEFORE_KEY;         char*key=NULL;         

7、char*value=NULL;         char*pszWorkBuff=NULL;         char*p=NULL;         assert(pszCookie!=NULL&&Builder!=NULL);         pszWorkBuff=(char*)strdup(pszCookie);         p=pszWorkBuff;         while(*p!= '/0')         {                  switch(eState)             

8、      {                            case STAT_BEFORE_KEY:                                     {                                               if(*