Phân tích chương trình

ActantBot

Các tác tử an toàn và an toàn vận hành chạy trên kernel ActantOS.

Dòng bot WorkDesk đã phát hành — hỗ trợ CNTT nội bộ trên kernel ActantOS — và những tính chất an toàn mà phòng nghiên cứu vẫn đang chứng minh cho các tác tử dạng này.

WorkDesk — phát hành cùng ActantOS

  • Bot AI an toàn
Minh họa biên tập: bot bàn hỗ trợ trả lời theo runbook đã duyệt trong khi mọi hành động đều được ghi vào sổ kiểm toán
Hình minh họa của chương trình, không phải ảnh chụp phần mềm.

Bối cảnh nghiên cứu

ActantBot thuộc lĩnh vực Bot AI an toàn: nó đưa tác tử vào vận hành trong một tổ chức thật — đúng nơi câu hỏi tác tử được phép làm gì không còn trừu tượng.

WorkDesk phát hành nền tảng đã được quản trị — runbook đã duyệt, ba kênh đồng ý tách biệt, tiếp nhận bảo mật riêng — trên cùng lõi thực thi mà chương trình ActantOS nghiên cứu.

Các bảo đảm phối hợp bên dưới nền tảng đó vẫn là mục tiêu nghiên cứu: cơ chế chấp thuận dùng chung (C1) và an toàn phê duyệt–quyết định–tác động (C2) là câu hỏi mở của ActantOS, không phải khẳng định của WorkDesk.

Cách tiếp cận

  1. Chỉ trả lời câu hỏi của nhân viên từ runbook mà tổ chức đã duyệt.
  2. Gửi mọi yêu cầu qua ba kênh đồng ý tách biệt, và tiếp nhận báo cáo bảo mật trong một kênh riêng.
  3. Để kernel ActantOS quyết định mọi ghi thay đổi, và trả về biên lai để đối chiếu về sau.

Kiến trúc hệ thống

Sơ đồ — một hành động WorkDesk chạy thế nào: bot trả lời từ runbook đã duyệt, yêu cầu qua các kênh đồng ý tách biệt, tiếp nhận bảo mật trong kênh riêng, và mọi ghi thay đổi đều do kernel ActantOS quyết định rồi được đối chiếu về sau.
  1. Ứng dụng

    Dòng ActantBot của WorkDesk

    IT, Secure, Access và Know — hỗ trợ CNTT nội bộ trên kernel ActantOS.

    • Dòng bot WorkDesk
  2. Hướng dẫn

    Runbook đã duyệt

    Các bot trả lời từ runbook tổ chức đã duyệt, không phải lời khuyên tự do.

    • Runbook đã duyệt
  3. Đồng ý

    Ba kênh đồng ý tách biệt

    Yêu cầu được gửi qua ba kênh đồng ý tách biệt, nên không một phê duyệt nào phủ hết mọi thứ.

    • Ba kênh đồng ý tách biệt
  4. Tiếp nhận

    Tiếp nhận bảo mật riêng

    Báo cáo bảo mật đi vào một kênh riêng, không vào hàng đợi chung.

    • Tiếp nhận bảo mật riêng
  5. Thực thi

    Kernel ActantOS

    Mọi ghi thay đổi đều bị chặn và do chính kernel mà ActantOS phát hành quyết định — luôn chính sách trước hành động.

  6. Ghi lại

    Biên lai ticket & đối chiếu

    Mỗi hành động trả về một biên lai, và tác vụ đối chiếu so sánh cái đã cố làm với cái thực sự xảy ra.

    • Biên lai ticket & đối chiếu

Hiện trạng triển khai

Trạng thái công bố
WorkDesk — phát hành cùng ActantOS

Trạng thái nêu trên là trạng thái đã công bố: WorkDesk phát hành cùng ActantOS và được ghi lại trên trang của chương trình.

Những gì trang này không khẳng định

  • Trình kết nối Jira Service Management đang ship là bản mô phỏng at-most-once với biên lai tra cứu được; bản kết nối thật nằm trong kế hoạch, vẫn sau cùng ranh giới chính sách.
  • Đăng nhập một lần ship dưới dạng Keycloak tự lưu trữ với PKCE; liên kết Entra ID sắp ra mắt, mở theo lộ trình thí điểm.

Bằng chứng

Bằng chứng xác lập được gì

Bằng chứng là bộ WorkDesk đã phát hành, được ghi lại tại actantos.com/platform/workdesk: runbook đã duyệt, các kênh đồng ý tách biệt, tiếp nhận bảo mật riêng, và biên lai ticket trên kernel ActantOS.

Bằng chứng chưa xác lập được gì

WorkDesk không chứng minh các bảo đảm phối hợp đa tác tử. Chương trình nêu những bảo đảm đó như giả thuyết, và trang này giữ nguyên cách diễn đạt đó.

Lộ trình

Mọi mục dưới đây là dự kiến, đề xuất hoặc đang nghiên cứu. Không mục nào đã phát hành, và danh sách này không phải lịch phát hành.

  1. Dự kiến

    Trình kết nối Jira Service Management bản thật

    Kế hoạch: hiện WorkDesk đi kèm connector mô phỏng at-most-once với biên lai tra cứu được; bản kết nối Service Management thật sắp ra mắt, vẫn nằm sau cùng ranh giới chính sách.

  2. Dự kiến

    Đăng nhập một lần Entra ID

    Kế hoạch: bản dựng hiện dùng Keycloak tự lưu trữ với PKCE; liên kết Entra ID sắp ra mắt, mở theo lộ trình thí điểm.

Hợp tác

WorkDesk phát triển cùng các nhóm CNTT và bảo mật muốn tác tử hướng đến nhân viên được quản trị ngay từ ngày đầu.

Cùng chúng tôi phát triển một chương trình.

Mỗi chương trình tìm đối tác ở nơi câu hỏi nghiên cứu gặp thực tiễn: phản biện lâm sàng với AIMed; quản trị vận hành tác tử với ActantOS và Agent Platform; quy trình học thuật với ScienzaOS; và bộ tài liệu quy mô lớn với AgenticOCR.

Trao đổi hợp tác
  • Thí điểm lâm sàng
  • Hợp tác nghiên cứu
  • Hợp tác về bộ dữ liệu
  • Đề tài sinh viên
  • Đóng góp mã nguồn mở