Tổng quan về luận án
Sự bùng nổ của cuộc Cách mạng Công nghiệp lần thứ tư đặt nền kinh tế tri thức và công nghệ thông tin vào vị trí động lực cốt lõi của tăng trưởng quốc gia. Nhận thức rõ vai trò chiến lược của tài sản trí tuệ, Quyết định số 130/QĐ-TTg ngày 27/01/2021 của Thủ tướng Chính phủ về Chương trình quốc gia phát triển công nghệ cao đến năm 2030 đã xác định công nghệ thông tin và truyền thông là một trong bốn lĩnh vực ưu tiên hàng đầu, tập trung hỗ trợ kinh phí và cơ chế chuyển giao công nghệ, xác lập quyền sở hữu trí tuệ cho sản phẩm phần mềm. Tuy nhiên, tại Việt Nam, chương trình máy tính (CTMT) hiện đang được xếp vào nhóm đối tượng bảo hộ quyền tác giả (QTG) tương tự như tác phẩm văn học, nghệ thuật theo quy định tại Điểm m Khoản 1 Điều 14 và Khoản 1 Điều 22 Luật Sở hữu trí tuệ (Luật SHTT). Cơ chế này bộc lộ những xung đột sâu sắc giữa bản chất kỹ thuật - chức năng của phần mềm và lý thuyết bản quyền truyền thống vốn xây dựng trên các tác phẩm thẩm mỹ, tạo nên một "khoảng trống học thuật và lập pháp" (research gap) nghiêm trọng.
Luận án tiến sĩ luật học "Bảo hộ quyền tác giả đối với chương trình máy tính theo pháp luật Việt Nam" (Mã số: 62380107, Chuyên ngành: Luật Kinh tế) do Nghiên cứu sinh Trương Thị Tường Vi thực hiện dưới sự hướng dẫn khoa học của TS. Nguyễn Đình Huy và TS. Phạm Kim Anh tại Trường Đại học Kinh tế - Luật, Đại học Quốc gia Thành phố Hồ Chí Minh (2022) là công trình nghiên cứu chuyên sâu, tiên phong tái cấu trúc khung pháp lý về bảo hộ CTMT trong bối cảnh Việt Nam hội nhập các hiệp định thương mại tự do thế hệ mới như EVFTA, CPTPP và RCEP.
┌────────────────────────────────────────────────────────┐
│ CHƯƠNG TRÌNH MÁY TÍNH TRONG NỀN KINH TẾ SỐ 4.0 │
│ - Bản chất nhị nguyên: Tác phẩm viết & Công cụ chức năng│
│ - Tăng trưởng thị trường CNTT: >30%/năm │
└──────────────────────────┬─────────────────────────────┘
│
┌─────────────────────────────┴─────────────────────────────┐
▼ ▼
┌──────────────────────────────┐ ┌──────────────────────────────┐
│ BẤT CẬP PHẠM VI BẢO HỘ │ │ BẤT CẬP TRONG THỰC THI │
│ - Khoản 1 Điều 22 Luật SHTT │ │ - Tỷ lệ vi phạm tại VN: 74% │
│ chỉ bảo hộ mã nguồn, mã máy│ │ (thế giới: 37% - BSA 2017) │
│ - Bỏ sót yếu tố phi văn bản │ │ - Thiệt hại toàn cầu do mã │
│ - Quyền toàn vẹn cản trở │ │ độc: 114 tỷ USD (2013) │
│ nâng cấp, sửa lỗi phần mềm │ │ - Hiện tượng lạm dụng QTG │
└──────────────┬───────────────┘ └──────────────┬───────────────┘
│ │
└─────────────────────────────┬─────────────────────────────┘
│
▼
┌────────────────────────────────────────────────────────┐
│ CƠ CHẾ ĐIỀU CHỈNH CÂN BẰNG LỢI ÍCH CỦA LUẬN ÁN │
│ 1. Áp dụng Thuyết Hợp nhất (Merger Doctrine) │
│ 2. Giới hạn Quyền toàn vẹn & Cho phép Dịch ngược │
│ 3. Thiết lập Thuyết Lạm dụng Bản quyền (Misuse) │
│ 4. Đa dạng hóa biện pháp chế tài & Kiểm soát độc quyền │
└────────────────────────────────────────────────────────┘
Nghiên cứu giải quyết câu hỏi tổng quát: "Bảo hộ quyền tác giả đối với chương trình máy tính nên được điều chỉnh như thế nào để khuyến khích việc phát triển các sản phẩm chương trình máy tính?" Hệ thống câu hỏi nghiên cứu và giả thuyết được cụ thể hóa:
- Câu hỏi nghiên cứu 1 (RQ1): Bản chất pháp lý của bảo hộ QTG đối với CTMT là gì và tương quan ưu - nhược điểm so với bảo hộ bằng sáng chế hay bí mật kinh doanh?
- Giả thuyết 1 (H1): Bảo hộ bằng QTG là phương thức tối ưu hiện nay đối với CTMT nhờ cơ chế bảo hộ tự động và chi phí xác lập thấp, song cần được định hướng theo nguyên tắc cân bằng lợi ích thay vì bảo hộ tuyệt đối thiên lệch về chủ sở hữu.
- Câu hỏi nghiên cứu 2 (RQ2): Phạm vi bảo hộ QTG đối với CTMT bao gồm những đối tượng nào và các giới hạn quyền cần được thiết lập ra sao?
- Giả thuyết 2 (H2): Phạm vi bảo hộ hiện hành tại Điều 22 Luật SHTT quá hẹp khi chỉ dừng ở mã nguồn và mã máy, bỏ sót các yếu tố cấu trúc phi văn bản; đồng thời quy định về quyền bảo vệ sự toàn vẹn tác phẩm (Điều 19) đang kìm hãm hoạt động bảo trì, nâng cấp phần mềm, cần bổ sung ngoại lệ dịch ngược (reverse engineering) để đảm bảo tính tương tác (interoperability).
- Câu hỏi nghiên cứu 3 (RQ3): Thực trạng thực thi QTG đối với CTMT tại Việt Nam diễn ra như thế nào và làm thế nào để ngăn chặn hành vi lạm dụng bản quyền?
- Giả thuyết 3 (H3): Thực thi quyền cần kết hợp đồng bộ các chế tài dân sự, hành chính, hình sự gắn liền với việc kiểm soát hành vi lạm dụng bản quyền (copyright misuse) nhằm ngăn chặn việc xác lập độc quyền bất hợp lý cản trở cạnh tranh thị trường.
Ý nghĩa thực tiễn của công trình gắn liền với những con số cảnh báo: Báo cáo thường niên của Liên minh Doanh nghiệp Phần mềm (BSA) và IDC cho thấy tỷ lệ vi phạm bản quyền CTMT năm 2017 tại Việt Nam lên tới 74% (so với mức trung bình thế giới là 37%). Nghiên cứu của BSA và INSEAD (2013) khẳng định: "ở Việt Nam, cứ tăng 1% mức sử dụng CTMT có bản quyền thì sẽ tạo ra được khoảng 87 triệu USD giá trị sản phẩm kinh tế quốc dân, so với mức 37 triệu USD có lợi được từ việc tăng tương tự đối với CTMT trái phép". Phạm vi nghiên cứu bao quát hệ thống văn bản quy phạm pháp luật Việt Nam (Hiến pháp 2013, Luật SHTT, BLDS 2015, BLHS 2015/2017) trong sự đối sánh với pháp luật Hoa Kỳ, Liên minh Châu Âu, Vương quốc Anh, Pháp, Đức và Ấn Độ từ năm 1985 đến 2022.
Literature Review và Positioning
Tổng quan y văn quốc tế cho thấy quá trình phát triển học thuyết bảo hộ CTMT trải qua ba dòng chảy chính:
| Dòng nghiên cứu |
Tác giả & Năm công bố tiêu biểu |
Luận điểm chính & Tranh biện học thuật |
| Phạm vi bảo hộ đối tượng CTMT |
Leslie Wharton (1985), Susan A. Dunn (1986), Peter S. Menell (1988), Janice M. Mueller (1989), OTA Project Staff (1990) |
Wharton và Dunn tranh luận về việc mã máy có cấu thành bản sao của mã nguồn hay không và giới hạn bảo hộ đối với các biến, thủ tục, cấu trúc con. Menell và Mueller mở rộng phạm vi sang giao diện người dùng (user interfaces, look-and-feel), đặt nền móng phân định ranh giới giữa biểu hiện thẩm mỹ và công năng kỹ thuật. |
| Giới hạn quyền & Quyền nhân thân |
Pamela Samuelson (1993), Greg R. Vetter (2004), Yonatan Even (2006), André Lucas (2009) |
Samuelson phân tích học thuyết sử dụng hợp lý qua các án lệ Sony, Galoob, Sega. Even và Lucas phân tích kinh tế về quyền toàn vẹn (right of integrity) thuộc hệ thống Civil Law, chỉ ra rằng việc trao quyền nhân thân tuyệt đối cho lập trình viên sẽ làm tê liệt hoạt động chuyển giao và nâng cấp phần mềm nguồn mở. |
| Lạm dụng bản quyền & Chống độc quyền |
James A. White (1997), Dennis S. Karjala (1999), Ilan Charnelle (2002), Oksanen & Välimäki (2006), Nicola Angius & Giuseppe Primiero (2020) |
Karjala và Charnelle phân tích "hiệu ứng mạng" (network effects) và khẳng định học thuyết lạm dụng bản quyền (copyright misuse doctrine) hình thành từ án lệ Lasercomb America v. Reynolds (1990) phải tồn tại độc lập với luật chống độc quyền (antitrust laws) để ngăn chặn việc mở rộng bảo hộ vượt quá thời hạn luật định. |
Tại Việt Nam, các nghiên cứu của Nguyễn Đình Huy (2002), Trần Việt Dũng, Lê Thị Nam Giang và Mai Hồng Quỳ (2004), Phạm Quốc Trung (2008), Hoàng Minh Huệ (2010), Trần Văn Hải (2012), Lê Thị Thu Hà và Đào Thị Mai Quyên (2016), Nguyễn Hải An (2018), Trần Kiên (2018), Đinh Mạnh Tuấn và Vũ Thụy Trang (2020) đã tiếp cận vấn đề ở nhiều góc độ. Đáng chú ý, có hai quan điểm đối lập sâu sắc trong giới học thuật Việt Nam:
- Quan điểm xây dựng cơ chế bảo hộ độc lập (Sui Generis): TS. Trần Văn Hải (2012) cho rằng bảo hộ CTMT dưới dạng tác phẩm văn học vi phạm nguyên tắc tính nguyên gốc và đề xuất xây dựng luật riêng vì CTMT giao thoa giữa sáng chế, tác phẩm và bí mật kinh doanh.
- Quan điểm duy trì và hoàn thiện khung QTG: Nguyễn Đình Huy (2002) và Trần Kiên (2018) lập luận rằng QTG vẫn là hình thức bảo hộ khả thi nhất trên bình diện quốc tế theo Công ước Berne và TRIPS, song cần sửa đổi các quy định bất hợp lý về thời hạn bảo hộ và phạm vi sử dụng hạn chế.
Vị trí học thuật của luận án: Luận án định vị chính xác khoảng trống lập pháp tại Việt Nam: trong khi các nghiên cứu trong nước trước đó chỉ dừng lại ở việc liệt kê vướng mắc mang tính khái quát, luận án của Trương Thị Tường Vi là công trình đầu tiên giải mã chi tiết bản chất lập trình để xây dựng khung phân tích hai tầng: (1) Chuẩn hóa phạm vi đối tượng bảo hộ thông qua Thuyết hợp nhất và ngoại lệ phân tích ngược; (2) Giải quyết mâu thuẫn quyền nhân thân và lạm dụng bản quyền trong thực thi.
Đóng góp lý thuyết và khung phân tích
┌────────────────────────────────────────────────────────┐
│ BẢN CHẤT CẤU TRÚC NHỊ NGUYÊN CỦA PHẦN MỀM MÁY TÍNH │
└──────────────────────────┬─────────────────────────────┘
│
┌───────────────────────┴───────────────────────┐
▼ ▼
┌─────────────────────────────┐ ┌─────────────────────────────┐
│ YẾU TỐ Ý TƯỞNG, KỸ THUẬT │ │ YẾU TỐ BIỂU HIỆN CỤ THỂ │
│ - Thuật toán, logic cơ bản │ │ - Mã nguồn (Source Code) │
│ - Chức năng, nguyên lý máy │ │ - Mã máy (Object Code) │
│ - Giao diện thuần công năng │ │ - Cấu trúc, trình tự tổ chức│
└──────────────┬──────────────┘ └──────────────┬──────────────┘
│ │
│ ┌───────────────────────────────┐ │
└──────►│ ÁP DỤNG THUYẾT HỢP NHẤT │◄──────┘
│ (Merger Doctrine) │
│ - Ý tưởng & Biểu hiện hòa lẫn│
│ - Chỉ có 1 cách viết mã duy │
│ nhất cho 1 hàm chức năng │
└───────────────┬───────────────┘
│
▼
┌───────────────────────────────┐
│ LOẠI TRỪ KHỎI PHẠM VI │
│ BẢO HỘ BẢN QUYỀN │
└───────────────────────────────┘
Đóng góp cho lý thuyết
Luận án đóng góp trực tiếp vào việc mở rộng và tái diễn giải bốn lý thuyết pháp lý nền tảng:
- Học thuyết phân chia ý tưởng/biểu hiện (Idea-Expression Dichotomy): Luận án chứng minh rằng trong CTMT, ranh giới giữa ý tưởng và biểu hiện không cố định như tác phẩm văn học. Biểu hiện của phần mềm chứa đựng tính chức năng thuần túy; do đó, chỉ những biểu hiện mang tính sáng tạo độc lập, không bị chi phối bởi ràng buộc kỹ thuật của ngôn ngữ lập trình mới thuộc phạm vi bảo hộ QTG.
- Học thuyết hợp nhất (Merger Doctrine): Kế thừa quan điểm của Michael Murray (2006) và án lệ Hoa Kỳ, luận án lập luận rằng khi một chức năng kỹ thuật chỉ có một cách hoặc một số lượng rất hạn chế cách viết mã nguồn để biểu đạt, thì ý tưởng và biểu hiện đã hợp nhất làm một. Trong tình huống này, pháp luật Việt Nam phải từ chối bảo hộ bản quyền đối với đoạn mã đó để tránh hiện tượng độc quyền hóa các khối lệnh cơ bản (building blocks of code).
- Tái định vị Lý thuyết Quyền nhân thân (Moral Rights Theory): Thách thức quan điểm truyền thống của hệ thống Dân luật (Civil Law) về tính bất khả xâm phạm của quyền nhân thân đối với tác giả phần mềm. Luận án phân tích: việc duy trì quyền bảo vệ sự toàn vẹn tác phẩm (Điều 19 Khoản 4 Luật SHTT) cho lập trình viên làm thuê là phi lý tế học, cản trở trực tiếp quyền khai thác tài sản của chủ sở hữu đầu tư. Luận án đề xuất chuyển dịch quyền này sang cho chủ sở hữu phần mềm.
- Xây dựng Lý thuyết Lạm dụng Bản quyền (Copyright Misuse Doctrine): Dựa trên án lệ Lasercomb America v. Reynolds (1990), luận án xác lập mô hình lý thuyết kiểm soát hành vi chủ sở hữu phần mềm lạm dụng hợp đồng li-xăng để áp đặt các điều khoản hạn chế cạnh tranh (như cấm phát triển phần mềm tương thích trong 99 năm hoặc buộc mua kèm phần cứng).
Khung phân tích độc đáo
Luận án thiết lập một khung phân tích đa tầng tích hợp giữa khoa học pháp lý và kỹ thuật công nghệ phần mềm:
- Tầng 1: Phân rã đối tượng phần mềm: Tách bạch ba thành phần cấu trúc gồm: (i) CTMT cốt lõi (mã nguồn, mã máy); (ii) Cấu trúc dữ liệu (data structure); (iii) Tài liệu kỹ thuật đi kèm (chuẩn bị thiết kế, hướng dẫn).
- Tầng 2: Bộ lọc bảo hộ (Filtration Analysis): Đưa các yếu tố cấu thành qua ba bước sàng lọc: Loại bỏ ý tưởng/thuật toán $\rightarrow$ Loại bỏ các yếu tố hợp nhất theo Thuyết Hợp nhất $\rightarrow$ Xác định các yếu tố biểu hiện nguyên gốc (original expression).
- Tầng 3: Thiết lập ranh giới ngoại lệ (Boundary Conditions): Cho phép hành vi dịch ngược mã nguồn (reverse engineering/decompilation) đối với mã đối tượng nhằm mục đích duy nhất là đạt được tính tương tác tương thích giữa các hệ thống phần mềm độc lập, ngăn chặn hiện tượng đóng kín thị trường của các tập đoàn công nghệ lớn.
Phương pháp nghiên cứu tiên tiến
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ THIẾT KẾ PHƯƠNG PHÁP NGHIÊN CỨU ĐA TẦNG │
└───────────────────────────────────────────┬────────────────────────────────────────────┘
│
┌───────────────────────────────────────┼───────────────────────────────────────┐
▼ ▼ ▼
┌─────────────────────────┐ ┌──────────────────────────┐ ┌──────────────────────────┐
│ PHƯƠNG PHÁP PHÂN TÍCH │ │ PHƯƠNG PHÁP LUẬT HỌC │ │ THAM VẤN CHUYÊN GIA │
│ & TỔNG HỢP PHÁP LÝ │ │ SO SÁNH QUỐC TẾ │ │ KỸ THUẬT LẬP TRÌNH │
│ - Mổ xẻ Luật SHTT 2005, │ │ - Đối sánh luật Hoa Kỳ │ │ - Chuyên gia: Nguyễn Hiển│
│ 2009, 2019, BLDS 2015 │ │ (Title 17 USC § 101) │ │ Lâm (F-Secure Corp, │
│ - Đánh giá án lệ & cơ │ │ - Chỉ thị 2009/24/EC EU │ │ Phần Lan) │
│ chế giải quyết Tòa án │ │ - Kinh nghiệm Anh, Pháp, │ │ - Giải mã cơ chế biên dịch│
│ (Nguyễn Hải An, 2018) │ │ Đức, Ấn Độ │ │ mã nguồn, vi mã, API │
└─────────────────────────┘ └──────────────────────────┘ └──────────────────────────┘
Thiết kế nghiên cứu
Luận án vận dụng lập trường triết học pháp lý thực chứng (Legal Positivism) kết hợp với trường phái Phân tích Kinh tế về Pháp luật (Law and Economics). Phương pháp tiếp cận mang tính liên ngành sâu sắc giữa luật học thực định và khoa học kỹ thuật lập trình máy tính. Thiết kế nghiên cứu đa cấp độ (multi-level design) cho phép đánh giá quy chuẩn pháp lý từ cấp độ vi mô (từng dòng lệnh, hàm logic, quyền của cá nhân lập trình viên) đến cấp độ vĩ mô (chính sách phát triển kinh tế số, chỉ số vi phạm bản quyền quốc gia và tác động thu hút dòng vốn FDI).
Quy trình nghiên cứu rigorous
- Phương pháp luật học so sánh (Comparative Legal Analysis): Luận án phân tích có hệ thống các văn bản pháp lý quốc tế gồm Chỉ thị 2009/24/EC của Liên minh Châu Âu về bảo hộ pháp lý đối với CTMT, Tiêu đề 17 Điều 101 Luật Liên bang Hoa Kỳ, Đạo luật Bản quyền, Kiểu dáng và Sáng chế năm 1988 của Vương quốc Anh, Điều 6bis Công ước Berne, Hiệp ước Bản quyền của WIPO (WCT), Hiệp định TRIPS, EVFTA và CPTPP.
- Phương pháp tham vấn chuyên gia kỹ thuật (Expert Triangulation): Điểm độc đáo đột phá của luận án là việc lấy ý kiến chuyên môn sâu từ kỹ sư lập trình Nguyễn Hiển Lâm thuộc Tập đoàn An ninh Mạng Toàn cầu F-Secure Corporation (trụ sở tại Phần Lan). Quy trình tham vấn này giúp giải mã chính xác bản chất của vi mã (microcode), quy trình biên dịch từ mã nguồn sang mã máy, nguyên tắc cú pháp ngôn ngữ lập trình và cơ chế phát hiện mã độc, đảm bảo các kết luận pháp lý không bị khiên cưỡng, bám sát bản chất kỹ thuật phần mềm.
- Phương pháp phân tích tình huống pháp lý và án lệ (Case Law Method): Ứng dụng phương pháp nghiên cứu lý thuyết pháp lý truyền thống theo khung lý thuyết của PGS.TS. Phạm Duy Nghĩa, luận án mổ xẻ các phán quyết lịch sử như Lasercomb America v. Reynolds (Hoa Kỳ), vụ tranh chấp kịch bản Les Misérables (Pháp), và các vụ việc xâm phạm bản quyền thực tế bị xử lý hành chính tại Việt Nam.
Data và phân tích
Nguồn dữ liệu thực nghiệm được tổng hợp và đối chiếu nghiêm ngặt:
- Bảng biểu 1 & 2: Dữ liệu về tỷ lệ vi phạm bản quyền phần mềm toàn cầu và Việt Nam qua các báo cáo thường niên của BSA và IDC (2013-2018).
- Bảng biểu 3: Thống kê các vụ phát tán virus độc hại tấn công mạng tại Việt Nam từ năm 2014 đến 2017.
- Bảng biểu 4: Thống kê các trường hợp xâm phạm QTG đối với CTMT bị xử lý hành chính và tư pháp tại Cục Bản quyền tác giả và Tòa án nhân dân các cấp.
Phát hiện đột phá và implications
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ HỆ THỐNG CÁC PHÁT HIỆN ĐỘT PHÁ CỦA ĐỀ TÀI │
└───────────────────────────────────────────┬────────────────────────────────────────────┘
│
┌───────────────────┬───────────────────┴───────────────────┬───────────────────┐
▼ ▼ ▼ ▼
┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐
│ PHÁT HIỆN 1 │ │ PHÁT HIỆN 2 │ │ PHÁT HIỆN 3 │ │ PHÁT HIỆN 4 │
│Điều 22 Luật SHTT│ │Khoản 4 Điều 19 │ │Thiếu vắng khung │ │Lỗ hổng kiểm soát│
│quá hẹp, bỏ sót │ │Luật SHTT trao │ │pháp lý cho ngoại│ │hành vi lạm dụng │
│các thành phần │ │quyền toàn vẹn │ │lệ dịch ngược mã │ │bản quyền trong │
│phi văn bản │ │bất hợp lý │ │nguồn (Decompile)│ │hợp đồng li-xăng │
└────────┬────────┘ └────────┬────────┘ └────────┬────────┘ └────────┬────────┘
│ │ │ │
▼ ▼ ▼ ▼
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ HÀM Ý HOÀN THIỆN CHÍNH SÁCH VÀ THỰC THI │
│ - Bổ sung Thuyết Hợp nhất và bảo hộ cấu trúc giao diện sáng tạo vào Luật SHTT │
│ - Chuyển giao quyền toàn vẹn và sửa đổi phần mềm sang cho chủ sở hữu đầu tư │
│ - Hợp pháp hóa kỹ thuật dịch ngược phục vụ mục đích tương thích hệ thống │
│ - Tăng chế tài kinh tế, hoàn thiện cơ chế chống độc quyền trong cấp phép phần mềm │
└────────────────────────────────────────────────────────────────────────────────────────┘
Những phát hiện then chốt
- Sự bất cập của phạm vi bảo hộ đối tượng theo Khoản 1 Điều 22 Luật SHTT: Pháp luật Việt Nam hiện hành chỉ ghi nhận bảo hộ mã nguồn và mã máy, bỏ qua các yếu tố phi văn bản như cấu trúc tổng thể, trình tự sắp xếp chương trình (Structure, Sequence, and Organization - SSO) và giao diện người dùng (UI). Luận án chứng minh rằng việc không bảo hộ SSO sẽ tạo kẽ hở cho hành vi sao chép tinh vi bằng cách viết lại mã nguồn bằng ngôn ngữ lập trình khác nhưng giữ nguyên toàn bộ kiến trúc lõi.
- Nghịch lý trong quy định về Quyền bảo vệ sự toàn vẹn tác phẩm (Khoản 4 Điều 19 Luật SHTT): Việc trao quyền bảo vệ sự toàn vẹn vĩnh viễn cho tác giả (lập trình viên) mâu thuẫn hoàn toàn với tính chất thương mại của CTMT. Khác với tác phẩm văn học mang dấu ấn cá nhân nghệ thuật, CTMT là một giải pháp kỹ thuật bắt buộc phải liên tục sửa lỗi (debug), tối ưu hóa và cập nhật phiên bản mới. Nếu lập trình viên lạm dụng quyền này để ngăn cấm doanh nghiệp sửa mã nguồn, dự án phần mềm sẽ bị tê liệt.
- Thiếu hụt hành lang pháp lý cho kỹ thuật dịch ngược (Reverse Engineering): Pháp luật Việt Nam chưa có quy định cho phép người sử dụng hợp pháp dịch ngược mã máy thành mã nguồn để nghiên cứu tính tương tác hoặc phát hiện lỗ hổng bảo mật. Điều này đặt các kỹ sư phần mềm Việt Nam vào nguy cơ vi phạm pháp luật khi phát triển các ứng dụng phụ trợ chạy trên nền tảng của bên thứ ba.
- Hành vi lạm dụng bản quyền tinh vi trong hợp đồng chuyển giao: Các nhà cung cấp phần mềm quốc tế thường áp đặt các điều khoản bất bình đẳng như hạn chế nghiên cứu phát triển sản phẩm cạnh tranh, áp đặt thời hạn bảo hộ vượt quá luật định, hoặc liên kết bán kèm sản phẩm (tying arrangements), triệt tiêu cạnh tranh tự do trên thị trường nội địa.
Implications đa chiều
- Về mặt lập pháp: Luận án đề xuất sửa đổi Luật SHTT theo hướng:
- Bổ sung Thuyết Hợp nhất làm căn cứ loại trừ bảo hộ đối với các đoạn mã bắt buộc về mặt kỹ thuật.
- Sửa đổi Điều 19 và Điều 22: Chuyển quyền sửa đổi, nâng cấp và quyền toàn vẹn đối với CTMT từ tác giả làm thuê sang chủ sở hữu quyền tác giả (doanh nghiệp đầu tư vốn).
- Bổ sung quy định miễn trừ vi phạm (Safe Harbor) cho hành vi dịch ngược mã nguồn nhằm bảo đảm tính tương tác kỹ thuật.
- Về mặt thực thi và tư pháp: Thiết lập tòa án chuyên trách về sở hữu trí tuệ; nâng cao năng lực giám định tư pháp kỹ thuật số; xây dựng quy chế phối hợp liên ngành giữa Thanh tra Bộ Khoa học và Công nghệ, Bộ Thông tin và Truyền thông, Cục An ninh mạng và Phòng chống tội phạm công nghệ cao (A05).
- Về mặt kinh tế - xã hội: Thúc đẩy phong trào phần mềm nguồn mở (FOSS), giảm chi phí bản quyền cho hệ thống giáo dục và doanh nghiệp vừa và nhỏ, nâng cao chỉ số năng lực cạnh tranh quốc gia (PCI).
Limitations và Future Research
Luận án thẳng thắn thừa nhận các giới hạn nghiên cứu:
- Giới hạn dữ liệu án lệ thực tế: Do số lượng tranh chấp quyền tác giả CTMT được đưa ra xét xử công khai tại Tòa án Việt Nam trong giai đoạn nghiên cứu còn hạn chế (đa số giải quyết bằng hòa giải thương mại hoặc xử lý hành chính kín), nên nguồn dữ liệu án lệ nội địa chưa phong phú bằng án lệ quốc tế.
- Ranh giới công nghệ mới: Luận án tập trung vào kiến trúc phần mềm truyền thống (mô hình Server-Client, phần mềm đóng gói), chưa đi sâu giải quyết các vấn đề phát sinh từ Điện toán đám mây (SaaS), Hợp đồng thông minh (Smart Contracts) trên nền tảng Blockchain, và các mô hình Trí tuệ nhân tạo tạo sinh (Generative AI) tự động viết mã nguồn.
Chương trình nghiên cứu 10 năm tiếp theo:
- Nghiên cứu xác lập quyền tác giả đối với mã nguồn do Trí tuệ nhân tạo (AI/LLMs) tự động sinh ra mà không có sự can thiệp trực tiếp của con người.
- Trách nhiệm pháp lý gián tiếp của các nhà cung cấp dịch vụ đám mây (Cloud Service Providers) trong việc lưu trữ và phân phối phần mềm vi phạm bản quyền.
- Giải quyết xung đột giữa Sáng chế phần mềm (Software Patents) và Quyền tác giả CTMT trong bối cảnh các hiệp định thương mại song phương thế hệ mới.
- Cơ chế thực thi bản quyền phần mềm phi tập trung (Decentralized Software Copyright Enforcement) qua công nghệ Web3.
Tác động và ảnh hưởng
┌────────────────────────────────────────────────────────┐
│ HỆ SINH THÁI TÁC ĐỘNG TOÀN DIỆN CỦA CÔNG TRÌNH │
└───────────────────────────┬────────────────────────────┘
│
┌───────────────────┬─────────────┴─────────────┬───────────────────┐
▼ ▼ ▼ ▼
┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐
│ HỌC THUẬT & │ │ LẬP PHÁP & TƯ │ │ DOANH NGHIỆP & │ │ KINH TẾ - XÃ │
│ NGHIÊN CỨU │ │ PHÁP QUỐC GIA │ │ CÔNG NGHIỆP │ │ HỘI VÀ ĐẦU TƯ │
│- Chuẩn hóa giáo │ │- Luận cứ sửa đổi│ │- Tháo gỡ rủi ro │ │- Giảm vi phạm │
│ trình Luật SHTT│ Luật SHTT │ pháp lý cho kỹ │ 74% xuống mức │
│- Mở ra các dòng │ │- Định hình khung│ sư phần mềm │ chuẩn toàn cầu │
│ nghiên cứu AI │ xét xử của Tòa án│ │- Thúc đẩy R&D và│ │- Thu hút FDI từ │
│ & Big Data │ chuyên trách SHTT│ chuyển giao công │ các tập đoàn công│
│ │ │ nghệ an toàn │ nghệ đa quốc gia │
└─────────────────┘ └─────────────────┘ └─────────────────┘ └─────────────────┘
Công trình tạo ra những tác động lan tỏa sâu rộng:
- Tác động học thuật: Cung cấp tài liệu tham khảo chuẩn mực cho các chương trình đào tạo sau đại học ngành Luật Kinh tế, Luật Sở hữu trí tuệ tại Việt Nam; định hình phương pháp luận nghiên cứu luật học kết hợp công nghệ.
- Tác động lập pháp và chính sách: Đóng góp trực tiếp các luận cứ khoa học cho ban soạn thảo Luật sửa đổi, bổ sung một số điều của Luật Sở hữu trí tuệ năm 2022 và các Nghị định hướng dẫn thi hành về quyền tác giả, quyền liên quan.
- Tác động chuyển đổi ngành công nghiệp CNTT: Giúp cộng đồng doanh nghiệp phần mềm Việt Nam (như FPT, Viettel, VNPT và các startup công nghệ) nhận diện rõ ranh giới pháp lý khi tái sử dụng mã nguồn, hạn chế tối đa nguy cơ bị kiện tụng xuyên biên giới khi xuất khẩu phần mềm sang thị trường Mỹ và EU.
- Tác động kinh tế quốc gia: Thúc đẩy nỗ lực giảm tỷ lệ vi phạm bản quyền từ 74% xuống các mốc tiêu chuẩn quốc tế, góp phần giải phóng tiềm năng 87 triệu USD giá trị kinh tế gia tăng cho mỗi 1% tỷ lệ sử dụng phần mềm có bản quyền theo tính toán của INSEAD.
Đối tượng hưởng lợi
- Nghiên cứu sinh và Giới học thuật: Tiếp cận hệ thống lý thuyết bản quyền phần mềm hoàn chỉnh, làm điểm tựa để triển khai các đề tài nghiên cứu chuyên sâu về tài sản số và dữ liệu lớn.
- Cơ quan Lập pháp và Thẩm phán Tòa án: Sở hữu bộ công cụ lý luận và tiêu chí kỹ thuật để phân định hành vi xâm phạm bản quyền phần mềm, xác định thiệt hại và nhận diện hành vi lạm dụng bản quyền.
- Doanh nghiệp Phần mềm và Giám đốc Công nghệ (CTO): Nắm bắt các quy tắc an toàn pháp lý khi ký kết hợp đồng lao động với lập trình viên, hợp đồng gia công phần mềm và quản trị rủi ro sở hữu trí tuệ trong doanh nghiệp.
- Kỹ sư Lập trình và Cộng đồng Mã nguồn mở: Hiểu rõ các quyền hợp pháp khi nghiên cứu, phân tích ngược và phát triển các sản phẩm phần mềm có tính tương tác cao mà không xâm phạm quyền của bên thứ ba.
Câu hỏi chuyên sâu
1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?
Luận án đã mở rộng Học thuyết Hợp nhất (Merger Doctrine) và Học thuyết Lạm dụng Bản quyền (Copyright Misuse Doctrine) trong luật sở hữu trí tuệ Việt Nam. Bằng cách chứng minh rằng trong lập trình, khi ý tưởng kỹ thuật và biểu hiện mã nguồn gắn chặt làm một do sự giới hạn của cú pháp ngôn ngữ lập trình, việc bảo hộ bản quyền phải bị triệt tiêu để bảo vệ tự do cạnh tranh sáng tạo.
2. Điểm đổi mới phương pháp luận so với các nghiên cứu trước đây là gì?
Khác với các nghiên cứu trước đây tại Việt Nam vốn thuần túy sử dụng phương pháp diễn giải quy phạm luật học trừu tượng, luận án đã tiên phong áp dụng Phương pháp Kiểm chứng Tam giác Kỹ thuật (Technical Triangulation) qua việc tham vấn trực tiếp chuyên gia an ninh mạng quốc tế (Kỹ sư Nguyễn Hiển Lâm, F-Secure Corporation). Điều này giúp các lập luận pháp lý phản ánh chính xác cấu trúc vi mã, cơ chế biên dịch và thực tiễn kiến tạo phần mềm.
┌────────────────────────────────────────┐
│ QUY TRÌNH BIÊN DỊCH VÀ BẢO HỘ │
└───────────────────┬────────────────────┘
│
┌──────────────────────────┴──────────────────────────┐
▼ ▼
┌──────────────────────────┐ ┌──────────────────────────┐
│ MÃ NGUỒN (Source Code) │ │ MÃ MÁY (Object Code) │
│ - Do lập trình viên viết │ │ - Do trình biên dịch tạo │
│ - Con người đọc hiểu được│ │ - Chuỗi nhị phân 0 và 1 │
│ - Chứa cấu trúc, logic │ │ - Máy tính đọc trực tiếp │
└────────────┬─────────────┘ └────────────┬─────────────┘
│ │
│ ┌─────────────────────────────┐ │
└──────────►│ KIỂM CHỨNG BỞI CHUYÊN GIA │◄──────────┘
│ KỸ THUẬT LẬP TRÌNH QUỐC TẾ │
│ (F-Secure Corporation) │
└──────────────┬──────────────┘
│
▼
┌─────────────────────────────┐
│ KẾT LUẬN QUY PHẠM PHÁP LÝ │
│ BẢO HỘ TỐI ƯU CỦA ĐỀ TÀI │
└─────────────────────────────┘
3. Phát hiện bất ngờ và có tính phản trực giác nhất trong luận án là gì?
Quy định bảo vệ quyền nhân thân - cụ thể là Quyền bảo vệ sự toàn vẹn tác phẩm tại Khoản 4 Điều 19 Luật SHTT - vốn được coi là niềm tự hào bảo vệ tác giả trong hệ thống Dân luật, lại chính là rào cản kỹ thuật nguy hiểm nhất kìm hãm sự phát triển của ngành công nghiệp phần mềm. Việc cho phép lập trình viên làm thuê giữ quyền này cản trở chủ sở hữu sửa chữa lỗi mã nguồn và nâng cấp sản phẩm, đi ngược lại bản chất kinh tế của công nghệ số.
4. Luận án có cung cấp quy trình tái lặp nghiên cứu (Replication Protocol) không?
Có. Luận án xây dựng quy trình phân tích gồm 3 bước tiêu chuẩn hóa:
- Nhận diện cấu trúc thành phần phần mềm (Mã nguồn, Mã máy, Giao diện, Dữ liệu).
- Áp dụng quy tắc sàng lọc phân định Ý tưởng/Biểu hiện và Thuyết Hợp nhất.
- Rà soát các ngoại lệ quyền (Sử dụng hợp lý, Dịch ngược vì mục đích tương thích) và kiểm tra dấu hiệu lạm dụng bản quyền. Quy trình này có thể áp dụng trực tiếp cho mọi vụ án giám định và xét xử tranh chấp phần mềm trong thực tiễn.
5. Khung chương trình nghiên cứu 10 năm tới được phác thảo như thế nào?
Khung nghiên cứu dài hạn tập trung xử lý: (1) Bản quyền mã nguồn tự sinh bởi Trí tuệ nhân tạo (Generative AI); (2) Cơ chế cấp phép phần mềm phi tập trung qua Blockchain; (3) Cân bằng giữa độc quyền bản quyền và nghĩa vụ tương thích dữ liệu mở trong kinh tế nền tảng số toàn cầu.
Kết luận
Luận án tiến sĩ của Trương Thị Tường Vi xác lập những đóng góp khoa học mang tính bước ngoặt:
- Chuẩn hóa hệ thống lý luận: Định vị toàn diện bản chất nhị nguyên của chương trình máy tính, khẳng định bảo hộ bằng quyền tác giả là giải pháp tối ưu nhưng đòi hỏi cơ chế điều chỉnh đặc thù khác biệt hoàn toàn với tác phẩm văn học nghệ thuật truyền thống.
- Đột phá về phạm vi bảo hộ: Đưa Thuyết Hợp nhất (Merger Doctrine) vào khoa học pháp lý Việt Nam, xác lập ranh giới rõ ràng giữa các yếu tố được bảo hộ (mã nguồn, mã máy, cấu trúc tổ chức nguyên gốc) và các yếu tố bị loại trừ (thuật toán, logic chức năng, giao diện thuần công năng).
- Tái cấu trúc quyền nhân thân: Luận chứng thuyết phục tính cấp thiết của việc chuyển giao quyền bảo vệ sự toàn vẹn và quyền sửa đổi phần mềm từ tác giả làm thuê sang chủ sở hữu quyền tác giả nhằm giải phóng năng lực vận hành thương mại của doanh nghiệp.
- Hợp pháp hóa hành lang kỹ thuật: Đề xuất bổ sung ngoại lệ dịch ngược mã nguồn (decompilation) phục vụ mục đích tương thích hệ thống và nghiên cứu an ninh mạng, phù hợp với chuẩn mực quốc tế của Chỉ thị 2009/24/EC của Liên minh Châu Âu.
- Xác lập cơ chế chống lạm dụng bản quyền: Đặt nền móng lý thuyết cho việc kiểm soát hành vi lạm dụng vị thế độc quyền sở hữu trí tuệ trong các hợp đồng cấp phép phần mềm, bảo vệ môi trường cạnh tranh lành mạnh cho các doanh nghiệp công nghệ trong nước.
- Mở ra các hướng nghiên cứu hiện đại: Tạo tiền đề lý luận vững chắc để giới nghiên cứu pháp lý tiếp tục giải quyết các thách thức mới nổi về Trí tuệ nhân tạo, Điện toán đám mây và chủ quyền số quốc gia trong kỷ nguyên số.
