×

打开微信,扫一扫二维码
订阅我们的微信公众号

×

打开手机,扫一扫二维码
即可通过手机访问网站并分享给朋友

首页 > 发现研究 > 专业文章

藏在代码里的“指纹”:计算机软件著作权侵权的认定与攻防 | 发现知竞

2026-07-2026

image.png

一、当软件被抄袭,真正的问题是什么?


在信息技术高速发展的今天,计算机软件已成为数字经济的核心资产。然而,软件著作权侵权案件日益频发,且呈现出技术性强、隐蔽性高、举证难度大等特点。实务中,一个根本性的问题始终困扰着权利人和法律实务工作者:法院究竟依据何种标准认定两个软件构成侵权?


与传统的文学作品、美术作品不同,计算机软件兼具“功能实用性”和“文字表达性”的双重属性。软件中既包含受著作权法保护的具体代码表达,也包含不受保护的思想、算法和功能概念。当被告的软件与原告软件在功能、界面甚至代码上存在相似之处时,如何区分“合法的思想借鉴”与“非法的表达抄袭”?当被告拒不提供源代码时,权利人又如何完成举证?这些问题,构成了软件著作权侵权判定中的核心难题。


本文将以我国现行法律规定为基础,结合最高人民法院指导案例及各地法院的典型判决,系统梳理软件著作权侵权判定的法律规则与比对方法,以期为实务提供参考。



二、你需要知道的关键词:理解软件著作权保护的边界


(一)软件著作权的保护范围:不止是你写的源代码


根据《计算机软件保护条例》第二条、第三条的规定,计算机软件是指计算机程序及其有关文档。其中,计算机程序包括源程序和目标程序,文档则指程序设计说明书、流程图、用户手册等文字资料。同一计算机程序的源程序和目标程序,在法律上被视为同一作品。


这意味着,无论是程序员撰写的源代码,还是经过编译生成的、人无法直接阅读的目标代码,均属于著作权法意义上的“表达”,受到法律保护。


(二)思想与表达二分法:著作权保护的楚河汉界


著作权法的一项基本原则是:保护思想的表达,而不保护思想本身。 《计算机软件保护条例》第六条明确规定:“本条例对软件著作权的保护不延及开发软件所用的思想、处理过程、操作方法或者数学概念等。”


这一原则在软件领域具有特殊的重要意义。软件的“思想”包括算法逻辑、功能设计、处理流程、技术方案等抽象层面的内容,任何人都可以自由使用;而软件的“表达”则是将上述思想具体化为代码文本、程序结构等可感知的形式,受著作权法保护。二者的界限,是侵权判定的逻辑起点。


(三)有限表达原则:当思想与表达“合二为一”


当某种思想的表达方式极其有限,甚至只有一种或少数几种时,该表达与思想即发生“合并”,不受著作权法保护。例如,为实现与特定硬件接口的兼容、遵循行业标准协议而编写的代码,通常属于有限表达的范畴。这一原则在侵权比对中起着重要的“过滤”作用。


(四)接触+实质性相似:法院判定侵权的黄金公式


“接触+实质性相似”是国际通行的著作权侵权判定公式,亦为我国司法实践所普遍采纳。其基本逻辑是:原告需证明被告曾有机会接触其软件(接触要件),且双方软件在受保护的表达层面构成实质性相似(相似要件),方可推定被告实施了抄袭行为。



三、法律武器库:维权的规则基础


我国关于计算机软件著作权保护的法律体系,主要由以下规范构成:


(一)《中华人民共和国著作权法》


著作权法是知识产权保护的基本法。2020年修正的著作权法第三条将计算机软件明确列为受保护的作品类型。该法第五十四条还规定了侵权赔偿的计算方式,包括权利人实际损失、侵权人违法所得、权利许可使用费,以及在故意侵权且情节严重的,可以适用惩罚性赔偿,赔偿数额为基数的一倍以上五倍以下。


(二)《计算机软件保护条例》


该条例是软件著作权保护的核心行政法规。其中:

- 第六条:划定了“思想与表达”的界限,明确不保护思想、算法、处理过程等;


- 第八条:列举了软件著作权人享有的各项权利,包括发表权、署名权、修改权、复制权、发行权、出租权、信息网络传播权、翻译权等;


- 第二十三条、第二十四条:规定了侵权行为的具体类型及应承担的民事责任。


(三)相关司法解释:破解举证难的利器


《最高人民法院关于审理著作权民事纠纷案件适用法律若干问题的解释》第二十一条规定,计算机软件用户未经许可或者超过许可范围商业使用计算机软件的,依据著作权法和软件保护条例的有关规定承担民事责任。


《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第一百一十二条规定,书证在对方当事人控制之下的,承担举证证明责任的当事人可以申请人民法院责令对方当事人提交;对方当事人无正当理由拒不提交的,人民法院可以认定申请人所主张的书证内容为真实。该“证明妨害”规则在被告拒不提供源代码的案件中具有关键作用。



四、判例中的真相:六则真实案例的比对逻辑


不同类型软件侵权案件中的比对方法和裁判逻辑。


(一)60%以上的二进制雷同:当目标代码成为铁证


【案件信息】

江苏省高级人民法院(2008)苏民三终字第79号侵害计算机软件著作权纠纷案。原告南京某电器公司主张其PA100、PA200系列继电器嵌入式软件被被告复制使用。


【案情概要】

南京某电器公司曾与西安某科技公司存在技术合作关系,后其发现西安某科技公司、西安某软件公司生产销售的YZ100、YZ300系列产品中嵌入的软件与其软件高度相似,南京某工程公司销售了上述产品,遂诉至法院。一审中因双方软件源程序采用不同编写语言,无法直接比对源代码,鉴定机构遂将双方产品芯片中的二进制代码(目标代码)直接比对,认定被控侵权软件与原告软件实质相同(YZ100一致率达95%以上,YZ300达60%以上),判决侵权成立。


二审中被告提出上诉,对鉴定方法及原告权利基础提出异议。二审法院另行组织鉴定,确认原告登记源程序与其产品芯片中软件一致,同时认可二进制代码比对方法的合理性,最终维持原判,判令被告停止侵权并赔偿损失25万元,销售商南京某工程公司仅承担停止销售责任。


【法院观点】

法院认为,原告虽在版权中心仅登记了部分源程序,但结合相关证据足以认定其对产品芯片中的软件享有著作权。在双方源程序编写语言不同、无法直接比对源代码的情况下,采用二进制代码(目标代码)进行比对具备科学性和合理性,因为不同源程序不可能生成相同的二进制代码。经比对,被控侵权软件与原告软件二进制代码高度一致,结合产品说明书相似等佐证,足以认定二者实质性相同。

此外,被告在合作期间曾接触原告软件,具备接触条件,却未能提供独立研发的有效证据,故认定其复制了原告软件,构成侵权。在赔偿数额上,法院综合考虑涉案软件作为工业嵌入式软件的商业价值、侵权性质及后果,以及权利人维权合理费用,酌情确定赔偿额25万元。


(二)错别字出卖了抄袭者:源代码比对中的“隐形指纹”


【案件信息】

上海市高级人民法院(2017)沪民终39号侵害著作权及不正当竞争纠纷案,上诉人为万得信息技术股份有限公司、南京万得资讯科技有限公司及浙江核新同花顺网络信息股份有限公司,二审判决驳回上诉、维持原判。

【案情概要】

上海万得公司系"Wind资讯金融数据终端"产品的经营者,南京万得公司为其关联公司。万得公司主张同花顺公司推出的"同花顺iFinD金融数据终端"在指标体系、函数公式、页面呈现、数据内容等方面大规模抄袭了万得产品,并低价销售,遂诉至法院,请求判令停止侵权、赔偿经济损失2亿元及合理费用240万元。


一审法院经审理认为:系争函数说明和指标帮助文字因缺乏独创性,不构成著作权法意义上的作品,故著作权侵权不成立;但同花顺产品在金融信息的选择、组织和呈现方面与万得产品高度重合,包括函数公式趋同、出现相同数据地雷及文字错误等细节,模仿行为超出合理借鉴范畴,结合同花顺销售人员关于"做万得的同质化产品""不改变用户习惯"等陈述,以及其设置模板转换功能实现产品兼容、低价竞争等事实,认定同花顺公司的整体模仿行为构成不正当竞争,判令其停止侵权、刊登声明消除影响,并赔偿经济损失300万元及合理费用35万元。


三方均不服一审判决提起上诉。二审法院经审理,确认一审事实认定清楚、法律适用正确,判决驳回上诉、维持原判。


【法院观点】

法院委托司法鉴定机构对双方源代码进行逐行比对。鉴定发现,被告代码与原告代码在海量函数名、变量名、代码结构、缩进风格等方面完全一致。更致命的是,原告代码中的独特错误被原封不动地复制至被告代码中。此外,原告为内部测试埋入的无功能私有水印字符串,同样出现在被告源代码中。


法院认为,若两软件系独立开发,出现如此大量且一致的雷同,尤其是注释中的相同错别字和无意义水印的完全相同,在统计学上概率极低,足以排除独立开发的可能性。结合员工跳槽的接触事实,法院认定双方软件在独创性表达上构成实质性相似,判决万得公司赔偿同花顺公司335万元。


(三)拿不到源代码也能赢:一个Bug如何成为侵权铁证


【案件信息】

江苏省高级人民法院(2007)苏民三终字第0018号侵害计算机软件著作权纠纷案,系最高人民法院指导案例49号。上诉人为石鸿林,被上诉人为泰州华仁电子资讯有限公司。

【案情概要】

石鸿林系"S型线切割机床单片机控制器系统软件V1.0"的著作权人。其发现华仁公司生产、销售的HR-Z型线切割机床数控控制器中嵌入的软件与其软件高度相似,遂诉至法院,请求判令华仁公司停止侵权、赔偿损失。一审中,因被控侵权软件固化于加密芯片中,无法解密读取目标代码,鉴定机构无法作出比对结论,一审法院判决驳回石鸿林诉讼请求。


石鸿林提起上诉。二审中,鉴定机构通过运行双方控制器软件进行比对,发现两者存在相同的软件缺陷(如连续加工程序段超过2048条后均无法正常执行、特定操作下均偶然出现蜂鸣器异响等特征),且双方产品使用说明书基本相同、外观布局基本相同。经法院多次释明,华仁公司始终拒绝提供被控侵权软件的源程序以供直接比对。二审法院据此改判华仁公司侵权成立,判令其停止侵权并赔偿经济损失79200元。

【法院观点】

二审法院认为,在被告拒绝提供被控侵权软件源程序或目标程序,且因技术限制无法从产品芯片中直接读取目标程序的情况下,应合理确定证明标准。原告虽无法直接完成源代码比对,但已通过鉴定证明双方软件存在相同的系统软件缺陷——根据计算机软件设计的一般原理,不同独立开发的软件出现相同缺陷的概率极小,故共同缺陷的存在足以证明双方软件源程序相同的可能性极高。结合双方产品说明书基本一致、外观布局基本一致等事实,原告证据已形成高度盖然性优势。在此情况下,举证责任应转移至被告,由其提供相反证据(如源程序)予以反证。华仁公司经法院多次释明仍无正当理由拒绝提供源程序,亦未证明其软件系独立开发或完成时间早于原告软件,应承担举证不能的不利后果,据此认定侵权成立。


(四)游戏换皮的代价:重写代码为何仍然侵权


【案件信息】

江苏省高级人民法院(2018)苏民终1054号知识产权侵权纠纷案,系苏州法院2019年度知识产权十大典型案例之一。上诉人为成都天象互动科技有限公司、北京爱奇艺科技有限公司,被上诉人为苏州蜗牛数字科技股份有限公司。

【案情概要】

蜗牛公司研发的动作类RPG手机游戏《太极熊猫》于2014年10月上线。天象公司、爱奇艺公司开发的手机游戏《花千骨》于2015年6月上线。蜗牛公司认为《花千骨》构成“换皮”抄袭,即仅更换了角色图片、配音配乐等外部美术元素,而在玩法规则、数值策划、技能体系、操作界面等方面与《太极熊猫》完全相同或实质性相似,遂诉至法院,请求判令停止侵权、消除影响并赔偿经济损失3000万元。经审理查明,《花千骨》与《太极熊猫》在29个玩法的界面布局和玩法规则上基本一致或实质性相似,47件装备的24个属性数值呈现相同或同比例微调对应关系,且《花千骨》著作权登记存档资料中使用的UI界面图均为《太极熊猫》的元素和界面。一审判决侵权成立并全额支持3000万元赔偿,天象公司、爱奇艺公司不服提起上诉,二审法院经审理驳回上诉、维持原判。

【法院观点】

法院采用“抽象-过滤-比较”方法进行审理。经对双方游戏进行全面比对,法院认为:当游戏的具体玩法规则、对战模式、战斗数值设定、道具功能及获取方式等设计元素,已被具体化为足以形成独特游戏体验和可感知的独特表达体系时,其便超越了抽象“思想”的范畴,落入受著作权法保护的“表达”领域。

法院将两款游戏从登陆界面、主界面、对战界面、玩法流程等数十个方面进行逐一比对,认定存在大量实质性相似,且这些相似已远远超出思想或有限表达的范畴。法院最终认定《花千骨》构成著作权侵权,判令被告赔偿蜗牛公司3000万元。


(五)数据格式的版权迷思:软件输出的文件受保护吗


【案件信息】

上海市高级人民法院(2006)沪高民三(知)终字第110号侵害计算机软件著作权纠纷案,系最高人民法院指导案例48号。上诉人为北京精雕科技有限公司,被上诉人为上海奈凯电子科技有限公司。

【案情概要】

精雕公司开发了JDPaint雕刻软件,该软件输出的数据文件采用Eng格式并采取了加密措施,且该软件仅配备于精雕公司自主生产的雕刻机上使用,不单独对外销售。奈凯公司开发了Ncstudio数控系统软件,该软件能够读取JDPaint软件输出的Eng格式数据文件,实现与其他品牌雕刻机的兼容。精雕公司认为奈凯公司破译其Eng格式加密措施的行为,属于故意避开或破坏其为保护软件著作权而采取的技术措施,构成侵权,遂诉至法院,请求判令停止侵权、赔礼道歉并赔偿损失48.5万元。一审判决驳回精雕公司全部诉讼请求,精雕公司不服提起上诉,二审法院经审理维持原判。

【法院观点】

法院认为,计算机软件著作权的保护范围仅限于计算机程序及其有关文档。JDPaint软件输出的Eng格式数据文件本身并非代码化指令序列,不属于程序的组成部分,其记录的数据系使用者输入生成,亦不属于软件著作权人所有,故Eng格式文件不属于软件著作权保护范围。关于技术措施问题,精雕公司采用Eng格式并加密的根本目的,并非为了保护JDPaint软件本身不被复制或使用,而是为了将软件与自有品牌雕刻机床捆绑销售,使其他品牌的机器无法读取该格式文件,从而将软件上的竞争优势扩展到硬件市场。这种为获取软件著作权之外利益而采取的措施,不属于《著作权法》和《计算机软件保护条例》所规定的“为保护软件著作权而采取的技术措施”。他人研发能够读取该特定文件格式的软件,不构成对软件著作权的侵犯,亦不构成恶意规避技术措施的行为。


(六)开源协议不是免死金牌:GPL传染性抗辩为何失败


【案件信息】

北京知识产权法院(2015)京知民初字第631号侵害计算机软件著作权纠纷案。原告为数字天堂(北京)网络技术有限公司,被告为柚子(北京)科技有限公司、柚子(北京)移动技术有限公司。

【案情概要】

数字天堂公司系HBuilder开发工具软件的著作权人,该软件包含代码输入法、真机运行、边改边看三个功能插件。数字天堂公司发现二被告共同运营的APICloud软件抄袭了上述三个插件的源代码,遂诉至法院,请求判令停止侵权、赔礼道歉并赔偿经济损失及合理支出共计350万元。经两次司法鉴定,结论为:代码输入法插件29个源文件与被诉软件对应文件具有同一性;真机运行插件18个源文件具有同一性(其中13个与第三方软件相同);边改边看插件44个源文件具有同一性(其中2个与第三方软件相同)。二被告辩称HBuilder软件系GPL协议下的开源软件,其有权使用。一审法院判决二被告共同赔偿经济损失125万元及合理支出21万元,并刊登声明赔礼道歉、消除影响。

【法院观点】

法院对开源协议的法律效力与适用范围进行了精细化界定。法院认为,虽原告软件中含有GPL组件,但核心问题在于:被告所抄袭的代码,究竟是第三方原始开源代码,还是原告在此基础上独立创作的修改部分?若为后者,且该部分代码未与GPL代码紧密结合构成整体衍生作品,则原告仍对其独创性修改享有完整著作权,有权主张侵权。


法院最终认定,被告抄袭了原告的独创性代码部分,构成侵权。该案为开源软件的著作权保护与侵权认定提供了重要参照。



五、裁判规则提炼与实务攻防建议


(一)裁判规则提炼


通过对上述法律规定与六则典型判例的系统梳理,可以提炼出计算机软件著作权侵权判定的以下核心规则:


第一,侵权判定以“接触+实质性相似”为基本公式。 接触可通过直接合同关系、员工跳槽间接接触、或相似程度极高时推定接触等方式证明。实质性相似则要求被控侵权软件挪用了权利人软件中具有独创性的表达,而非仅仅思想或功能的相似。


第二,实质性相似比对须经“抽象-过滤-比较”三步法。 法院及鉴定机构会先将软件从思想到表达进行逐层抽象,再剔除不受保护的思想、公有领域代码、第三方开源代码、因兼容性等外部因素决定的代码、有限表达以及数据文件格式等元素,最后就剩余的独创性“内核”进行比较。


第三,比对方法依证据条件灵活选择。 获取被告目标代码时,可采用二进制逐字节比对(中易诉微软案);获取源代码时,应重点排查相同错误、私有水印等不可复制的冗余雷同(同花顺诉万得案);面对游戏等交互性产品,可运用非文字性SSO比对(蜗牛诉天象案);在零代码困境中,可通过特征性缺陷比对搭建初步证据链(石鸿林案)。


第四,举证妨碍规则破解“零代码”困境。 当原告已提供软件高度相似的初步证据,被告无正当理由拒不提供源代码时,法院可直接推定原告关于实质性相似的主张成立(指导案例49号)。


第五,开源协议不当然阻却权利主张。 在开源代码混用场景下,需精细区分公有开源代码与权利人的独创性修改部分,后者仍受著作权法保护(数字天堂诉柚子案)。


(二)给软件权利人的维权建议


基于上述裁判规则,软件权利人在日常管理和维权诉讼中应注意以下几点:


1. 建立完整的开发过程档案。 使用Git等版本控制系统,保留每一次代码提交记录,确保开发历程有据可查。这些记录既是权属证明,也是独立开发的有力证据。开发过程中的需求文档、设计草稿、会议纪要、内部邮件讨论等,同样应妥善保存。


2. 严格管理第三方代码与开源代码。 对项目中使用的开源组件进行清晰标识和隔离,明确记录哪些代码来自第三方,哪些是自主开发的独创性修改。这不仅有助于在侵权诉讼中划定受保护的范围,也能有效应对被告可能提出的开源传染抗辩。


3. 与员工签署完善的知识产权协议。 在员工入职时明确约定职务作品的著作权归属,在离职时进行代码交接和保密提醒,核心技术人员还应签署竞业限制协议。完善的协议体系是防止员工跳槽带走代码的第一道防线。


4. 发现侵权时迅速采取证据保全措施。 软件侵权案件证据极易灭失,权利人在发现侵权线索后,应尽快申请法院进行证据保全,固定被告的源代码、目标代码及相关文档。同花顺诉万得案的成功,很大程度上得益于及时的证据保全。


5. 灵活运用多种比对方法。 根据能够获取的证据类型,选择最合适的比对策略。能够获取被告软件时,优先申请源代码或目标代码的司法鉴定比对;无法获取代码时,可考虑通过运行特征对比、缺陷对比等方式搭建初步证据链,并借助举证妨碍规则迫使对方提交源代码。


6. 关注非文字性抄袭。 对于游戏、APP等交互性较强的软件,即使被告重写了代码,也应关注其整体结构、界面布局、操作流程、数值设计等方面是否存在非文字性实质性相似,必要时可申请SSO比对鉴定。


(三)给在后开发者的合规建议


对于借鉴现有软件进行后续开发的在后开发者而言,避免侵权风险同样重要:


1. 坚持净室开发原则。 如需借鉴他人软件的功能或思路,应采用“净室开发”模式:由一组人员分析目标软件的功能和接口规范,撰写技术规格说明,再由另一组未接触过原软件代码的开发人员依据规格说明独立编写代码。两组成员之间严格隔离,确保代码层面的独立创作。


2. 保留独立的开发过程记录。 完整的Git提交历史、详细的设计文档、开发日志和代码评审记录,是独立开发抗辩的核心证据。这些记录应能清晰地展示代码从无到有的演进过程,而非突然出现大量成熟代码。


3. 严格隔离第三方代码。 在开发过程中如需使用开源组件或第三方库,应进行清晰的标识和物理隔离。避免将第三方代码与自有代码混在一起,以免在侵权诉讼中无法区分哪些是公有代码、哪些是独创表达。


4. 进行侵权风险评估。 在软件发布前,建议对市场上同类软件进行比对分析,评估是否存在实质性相似的风险。如发现潜在风险,应及时调整设计或重写相关代码模块。


5. 重视员工的合规培训。 对新入职员工,尤其是来自竞争对手的技术人员,应进行知识产权合规培训,明确要求其不得将前雇主的代码、文档等带入公司。对新员工提交的代码,应进行来源审查,排查是否存在异常雷同。


6. 遇到侵权指控时及时封存证据。 一旦收到侵权通知或诉讼材料,应立即封存自有软件的完整源代码、开发记录、版本历史等证据,并在专业律师和技術专家的协助下,运用抽象-过滤-比较法进行自我评估,判断相似部分是否属于不受保护的思想、有限表达或公有代码,为后续应诉做好充分准备。


综上所述,计算机软件著作权的侵权判定是一项高度技术化、精密化的法律作业。对权利人而言,保全完整的开发记录、精细管理开源代码、在诉讼中灵活运用多种比对方法和举证规则,是维权成功的关键。对在后开发者而言,保留独立的开发过程记录、坚持净室开发原则、严格隔离第三方代码,则是进行独立开发抗辩或过滤性抗辩的基础。唯有在法律规则与技术事实之间建立起准确的对应关系,才能在这一专业领域实现公平正义。





发现律所知识产权与竞争法专业委员会


发现律所知识产权与竞争法专业委员会,简称:发现知竞。


发现知竞——探索创新之境


• 发现知竞,协助发现律师开拓新市场、服务新业态、发展新质生产力;

• 发现知竞,帮助客户使用知识产权工具,增强竞争优势、排除竞争妨碍,尽享创新红利;

• 发现知竞,打通了知识产权战略规划、信息咨询、授权确权、知产托管、制度建设、维权保护和成果转化的全链条“一站式”法律服务;

• 发现知竞,直接服务于科技创新(技术研发)、文化创意、品牌建设、技术秘密、经营秘密、新品爆款以及公平竞争权益。





图片

声 明

本文仅代表作者观点,不得视为发现律师事务所或其律师出具的正式法律意见或建议。如需转载或引用,请注明出处。



往期推荐






01 解读《四川省知识产权强省建设纲要(2022—2035年)》的十八个亮点
02 浅析体育赛事知识产权的战略制定与战略实施
03 地产楼盘名称侵犯商标权,法院没判被告停止侵权?
04 “围炉煮茶”注册商标可行吗?
05 秒懂药品专利链接制度
06 腊肉制品制作技术哪家强?——标准和发明专利回答你
07 受技术需方委托,知识产权律师参与科技成果转化的服务清单(一)
08 知识产权律师参与科技成果转化的服务清单(二)
09 论区块链技术对音乐版权规范治理的价值
10 商业秘密刑事犯罪中“保密性”认定标准探讨
11 商标法修订草案给知识产权律师带来的机遇和挑战
12 发送专利侵权警告函(律师函)的实务要点
13 探析商业秘密侵权案件赔偿数额的认定
14 律师代理专利转让事务的注意事项
15 被诉商标侵权的抗辩思路建议
16 商业秘密保护体系建设从哪里入手? 
17 建设工程领域商业秘密保护:6类典型场景应对指南
18 网络微短剧维权实务
19 四个场景下的商业秘密泄密风险启示 
20 从“谢娜喊话薛之谦”看互联网名誉权案件的审查要点及法律分析
21 从“主播恶意销毁粉丝游戏账号”看网游虚拟财产法律保护
22 从“优思益”事件谈直播电商主播法律责任
23 企业商标管理之如何识别商标侵权风险?
24 商业秘密侵权诉讼九步曲
25 商业秘密保护的“胜负手”:保密措施的司法认定标准与企业合规指引