Khi có source code rồi thì hack có dễ không?
Đợt vừa rồi mình có tham gia giải CTF Cyber Apocalypse 2021, mình chủ yếu là care phần web một ít bài misc vì web là thế mạnh. Team mình cũng chỉ xếp 157/4740 và giải hầu hết bài web, chủ yếu tham gia để cọ xát.
Nhưng điều khiến mình khá thích thú là có đến hơn 80% trong số các challenge web là review source code (cái này là còn thế mạnh của mình hơn nữa), các bài web cũng rất thực tế. Hôm nay, tự...
Hack
May Fest
hack web
web ctf
review source code
2727
MÔ PHỎNG THUẬT TOÁN VƯƠNG HẠO TRONG PROLOG
1. Các luật suy diễn trong thuật toán Vương Hạo
Luật 1: Chuyển vế các giả thuyết và kết luận ở dạng phủ định
Ví dụ: p v q, !(r ^ s), !q, p v r -> s, !p <=> p v q, p v r, p -> s, r ^ s, q
Luật 2: Thay dấu ^ thành dấu phẩy của giả thuyết
Ví dụ: p ^ q, r ^ (!p v s) -> !q v !r <=> p, q, r, !p v s -> !q v !r
Luật 3: Thay dấu v thành dấu phẩy của kết luận
Ví dụ: p ^ q, r ^...
mô phỏng
Simulating
prolog
Hao Wang
Algorithm
2922
