注册 登录  
 加关注
   显示下一条  |  关闭
温馨提示!由于新浪微博认证机制调整,您的新浪微博帐号绑定已过期,请重新绑定!立即重新绑定新浪微博》  |  关闭

Personal Statement

个人陈述 Statement of Purpose

 
 
 

日志

 
 

Personal Statement of Interest ECE UPenn  

2009-10-25 22:31:11|  分类: 电子工程 |  标签: |举报 |字号 订阅

  下载LOFTER 我的照片书  |
Personal My  research  work  aims  to  ease  the  implementation,  management,  and  analysis  of  secure distributed  systems.  I  adopt  a  multi‐disciplinary  approach  towards  address  this  problem  by unifying  three  bodies  of  work:  (a)  logic‐based  trust  management  systems,  (b)  declarative networking  [1][2]  that  provides  a  programming  framework  that  enable  compact  declarative specifications  of  network  protocols,  and  (c)  database  techniques  for  analyzing  data computations  via  the  concept  of  provenance. I  seek  to  ground  my  research  work  in  practical  problems  by  collaborating  closely  with  industry  (e.g.  Microsoft  Research  Asia  and  LogicBlox) with In at and  implementing  these  large‐scale  systems  remains  a  challenge,  in  part  because  of  the emerging  security  threats.  Though  there  have  been  several  proposals  attacking  this  problem,  they taking  into  account  information  processing  at  higher  layers.  Moreover,  they  are  often implemented  and  enforced  in  different  languages  or  environments,  hence  having  different  tradeoffs Given on  which  user  can  specify  a  variety  of  network  infrastructures  together  with  security  specifications.  From  a practical  standpoint,  this  integration  has  several  benefits, ranging from  fewer  languages  to  learn,  fewer  sets  of optimizations,  finer‐grain  control  over  the interaction  between  security  and  network  protocols,  and  the  potential  of  cross‐layer  analysis  and First,  we  present  the  Secure  Network  Datalog  (SeNDlog)  [3]  language  that  unifies  Binder,  a  logic‐based  access  control  language,  and  Network  Datalog,  a  distributed  recursive  query  language  originally  proposed  for  declarative  networks.  SeNDlog  enables  network  routing,  information  systems,  and  their  security  policies  to  be  specified  and  implemented  within  a  common  declarative  framework.  In  addition,  we  extend  existing  distributed  recursive  query  processing  techniques  to  execute  SeNDlog  programs  that  incorporate  authenticated  communications. Besides  authentication,  we  are  also  exploring  in  extending  the  declarative  language  to  incorporate  security  constructs  for  secrecy  and  encrypted  facts.  Other  language  features Second, in collaboration with Bill Marczak (Penn undergrad) and LogicBlox Inc., we extend our  exploration  to  a  declarative  system  for  reconfigurable  trust  management,  which  enables  customizable  cryptographic,  partitioning  and  distribution  strategies  based  on  the  execution  environment. We propose the LBTrust [4] based on the LogicBlox [5] language which is a variant  of  Datalog  with  the  support  of  constraints,  meta‐programming,  and  the  programmer‐defined constraints which read and modify the meta‐model itself.  Third,  we  propose  the  use  of  network  provenance  for  explaining  the  derivation  of  network  states,   we  explore  the  use  of  traditional  distributed  database  optimization  techniques  [6]  to  significantly [1]  B.  T.  Loo,  T.  Condie,  J.  M.  Hellerstein,  P.  Maniatis,  T.  Roscoe,  I.  Stoica,  Implementing  Declarative Overlays, In 20th ACM Symposium on Operating Systems Principles (SOSP), Brighton,  [2]  B.  T.  Loo, J.  M.  Hellerstein, I.  Stoica,  R.  Ramakrishnan,  Declarative Routing  with  Declarative  Queries,  In  ACM  SIGCOMM  Conference  on  Data  Communication,  Philadelphia, PA, Aug 2005. [3]  W.  Zhou,  Y.  Mao,  B.  T.  Loo,  M.  Abadi,  Unified  Declarative  Platform  for  Secure  Networked  Information  Systems.  In  25th  International  Conference  on  Data  Engineering  (ICDE),  Shanghai,  [4]  W.  R.  Marczak,  D.  Zook,  W.  Zhou,  M.  Aref,  B.  T.  Loo,  Declarative  Reconfigurable  Trust  Management.  In  4th  Biennial  Conference  on  Innovative  Data  Systems  Research  (CIDR)  Proceedings Track, Pacific Grove, CA, Jan 2009. [5] LogicBlox. http://www.logicblox.com/ [6]  M.  Liu,  N.  E.  Taylor,  W.  Zhou,  Z.  Ives,  B.  T.  Loo.  Recursive  Computation  of  Regions  and  Connectivity  in  Networks.  In  25th  International  Conference  on  Data  Engineering  (ICDE),  Shanghai,

  评论这张
 
阅读(6766)| 评论(0)
推荐 转载

历史上的今天

评论

<#--最新日志,群博日志--> <#--推荐日志--> <#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇,下一篇--> <#-- 热度 --> <#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->
 
 
 
 
 
 
 
 
 
 
 
 
 
 

页脚

网易公司版权所有 ©1997-2018