基于Petri网的信息流安全属性的分析与验证

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Pe-tri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。

基于演化版本的Deep Web查询接口维护方法

针对现有Deep Web信息集成系统没有考虑查询接口动态性的特点,造成本地接口与网络接口查询能力不对等的问题,提出一种基于演化版本的Deep Web查询接口维护方法。该方法通过构建本地接口的版本化模型来刻画接口的增量变化,识别变动比较活跃的属性集合;然后采取试探性查询来构建最优查询语句,获取网络接口数据源的变动信息,演化出本地接口的下一个版本,实现对本地查询接口数据源的信息维护的迭代过程。实验结果表明,该方法降低了深网环境变化对Deep Web信息集成带来的影响,确保了Deep Web查询接口的准确率和查全率的稳定性。

前向可修正属性算术验证的研究

目前验证前向可修正属性的"展开方法"是不完备的,即当"展开定理"的局部条件不满足时,不能判断出系统不满足前向可修正属性。为此,提出一种基于状态转换系统的前向可修正属性验证方法,该方法将前向可修正属性的验证归约为可达性问题,进而可借助可达性检测技术完成属性的验证。该方法是完备的,且当属性不成立时,可以给出使属性失效的反例,反例的给出对非法信息流的消除和控制具有直接的帮助。最后,通过磁臂隐通道的例子说明了方法的有效性和实用性。

企业境内外亏损弥补涉税处理的探讨

境内、境外亏损弥补问题一直是企业所得税的难点。在涉及境外所得税抵免问题时,一般都是假设境内、境外所得都是盈利的,然而实务中企业经营总是有盈有亏,当境内或境外所得出现亏损时,如何处理就难以把握。本文归纳了境内、境外所得有可能出现的各种盈亏情形,逐一指出各种情形下应如何进行亏损弥补并举例说明。需要说明的是,文中所称境内、境外盈利是依照我国企业所得税法及其实施条例的规定计算的应税所得大于零的金额,亏损是指应税所得小于零的金额。

试论新企业所得税法对江苏经济的影响

新企业所得税法的施行,对内、外资企业乃至整个经济的影响是显而易见的。江苏是经济大省,内、外资企业众多。新税法的施行,将有助于提高江苏内资企业的自主创新能力和市场竞争力,推动产业升级;同时将有助于提高江苏利用外资的水平。面对新税法的施行,江苏应当改善投资环境,创造公平竞争的外围环境,促进本区域经济协调高速发展。

浅析税务机关推进“互联网+税务”的路径选择

"互联网+"时代的到来标志着创新驱动发展将成为税务系统的新常态。税务机关如何面对推进"互联网+税务"进程中的重点和难点问题、落实推进"互联网+税务"的对策措施、加快推进税收治理现代化,已成为当前税务机关需要着力研究的重点课题和紧迫任务。本文基于目前税务机关在税收信息化应用中的现状,分析了税务机关在推进"互联网+税务"中的难点问题,提出了税务机关推进"互联网+税务"的建设重点和路径选择。

纳税评估、日常检查、税务稽查关系的规范

本文认为,目前纳税评估、日常检查和税务稽查三个环节之间关系存在问题主要是职责范围划分不明确、执法行为不规范、执法文书尚不完善等,并在分析其原因的基础上,提出了划分三者之间职责范围和规范三者之间执法行为的具体设想。

从资源税过渡到环境税的几点建议

国家能源安全遭遇严峻考验,资源破坏和环境污染使资源税已失去其作为税收调控手段的意义,必须创造条件,分步改革资源税,保护环境,保护资源,实现人与自然和环境的协调发展。

对房地产业预售收入征收企业所得税政策的质疑

国家税务总局《关于房地产开发有关企业所得税问题的通知》（国税发[2003]83号，以下简称“83号文”），明确了对房地产企业预售收入征收企业所得税的政策。该政策的执行给房地产企业所得税收入带来大幅增长的同时，也产生了一些负面效应和难以处理的问题。

城镇土地使用税征收中存在的问题及其改进设想

随着我国城乡一体化步伐的加快,在城乡土地使用中也不断出现了新情况和新问题。为此,本文针对当前在城镇土地使用税征收过程中遇到的相关政策问题进行了剖析,并就进一步明确和统一城镇土地使用税的政策法规提出了改进设想。

全员申报 双向审核 个人所得税征管见成效

全员申报双向审核个人所得税征管见成效江苏省镇江市地方税务局商贸分局今年，江苏省镇江市地方税务局商贸分局在个人所得税征管中实行了“全员申报、双向审核”的新办法，即在分局征管范围内的机关企事业单位的所有人员都必须按规定填写个人所得税纳税申报表，由支付个人...

精心打造“112民心秤”工程

执法为民，是党对执法部门的希望和要求；公平服务，是群众对执法人员的期盼和愿望。执法服务好不好，百姓心中有杆秤。地税部门要做到执法为民、公平服务，必须从每一天做起，从每件事做起。镇江市扬中地方税务局从2011年下半年起，紧紧围绕“给创业百姓一个发展机遇，还人民群众一个平等环境”，针对人民群众反映强烈的“事难办、办事难、难办事”的问题，全力实施“112民心秤”工程。“112民心秤”工程仅仅实施一年半，便取得显著成效：