Trong lĩnh vực bảo mật Internet, đảm bảo tính vững chắc và toàn vẹn của các giao thức truyền thông là điều tối quan trọng. Bài báo này cung cấp một phân tích toàn diện về bốn công cụ hàng đầu để xác minh giao thức bảo mật: Scyther, ProVerif, CryptoVerif và Tamarin. Mỗi công cụ được đánh giá về những điểm mạnh và ứng dụng độc đáo của nó, đặc biệt trong bối cảnh điện toán đám mây và IoT. Bằng cách phân tích các phương pháp và hạn chế của các công cụ này, bài báo nhằm cung cấp những hiểu biết có giá trị về bối cảnh đang phát triển của việc xác minh giao thức bảo mật và các hướng đi tiềm năng trong tương lai trong lĩnh vực nghiên cứu an ninh mạng quan trọng này.

Là một trong những nhà cung cấp các sản phẩm và giải pháp an ninh mạng đầu tiên ký cam kết Bảo mật theo Thiết kế của Cơ quan An ninh mạng và Cơ sở hạ tầng An ninh Nội địa (CISA) của Mỹ, Fortinet tiếp tục củng cố cam kết duy trì văn hóa minh bạch triệt để và chịu trách nhiệm với an ninh của các tổ chức, doanh nghiệp, luôn xem đây là ưu tiên hàng đầu của hãng.

Hội tụ công nghệ thông tin (Information Technology - IT) và công nghệ vận hành (Operational Technology - OT) cho phép kiểm soát, giám sát các hệ thống và cảm biến được kết nối trên quy mô lớn. Với sự hội tụ, việc phân tích dữ liệu từ các hệ thống phức tạp trong ngành công nghiệp sản xuất trở nên dễ dàng và dễ tiếp cận hơn nhiều. Tuy nhiên, hầu hết các tiện ích đều phải đối mặt với một số thách thức có thể gây khó khăn cho việc hội tụ IT/OT, bao gồm các vấn đề về bảo mật, vấn đề công nghệ và hợp tác trong tổ chức. Bài viết này sẽ đề cập đến những thách thức của sự hội tụ IT/OT mà các doanh nghiệp cần quan tâm và có thể đối mặt trong tương lai.

Zero trust là tư duy bảo mật được phát triển với mục tiêu xây dựng một mô hình bảo mật nhằm bảo vệ mọi tài nguyên trong hệ thống IT/OT khỏi các đối tượng không có quyền hạn. Mô hình bảo mật Zero trust được thiết kế nhằm đảm bảo khả năng kiểm soát các tài nguyên có trong một hệ thống thông tin. Mô hình này yêu cầu định danh, quản lý và kiểm soát danh tính (con người hoặc máy móc), tài khoản người dùng, quyền truy cập thông tin và thiết bị vận hành, thiết bị đầu cuối trên mọi môi trường mạng, cũng như là mối liên kết, kết nối của mọi hạ tầng hệ thống có trong một hệ thống thông tin.

Để đảm bảo cho một năm mới an toàn và bảo mật thì việc nhận định các xu hướng tấn công mạng là điều vô cùng quan trọng. Trong bản tin video số 70, xin kính mời quý độc giả cùng Tạp chí An toàn thông tin điểm qua những xu hướng an ninh, an toàn thông tin hàng đầu trong năm 2022 theo nhận định của các chuyên gia bảo mật.

Google giới thiệu các tính năng mới cho Private Compute Core của Android, một môi trường an toàn hiện đang trong giai đoạn phát triển với phiên bản Android 12 Beta.

Trong cuộc sống số hiện đại, mỗi người đều sử dụng mạng xã hội cho nhiều nhu cầu hàng ngày của cuộc sống. Khi tham gia sử dụng mạng xã hội người dùng cần lưu ý cách giữ an toàn bảo mật thông tin cá nhân, sàng lọc các thông tin giả.

Khối các đơn vị an toàn thông tin của Bộ TT&TT vừa đưa ra dự báo về 5 xu hướng chính tấn công mạng trong năm 2019 trên không gian mạng Việt Nam.

Kể từ khi ra đời vào năm 2009 tới nay, việc ứng dụng blockchain đã ngày càng phát triển rộng rãi. Về bản chất, cơ sở dữ liệu phân tán này cung cấp nền tảng tuyệt vời cho việc quản lý tiền mật mã. Nhưng các tính năng của nó đã thu hút sự chú ý của các chuyên gia hoạt động trong nhiều lĩnh vực ứng dụng khác, trong đó có lĩnh vực bảo mật và an toàn thông tin.

Cục Thương mại điện từ và công nghệ thông tin, Bộ Công thương vừa gửi thông báo giới thiệu Nghị định 185/2013/NĐ-CP về quy định xử phạt vi phạm hành chính trong hoạt động thương mại, sản xuất buôn bán hàng giả, hàng cấm và bảo vệ quyền lợi người tiêu dùng.