Log for YSITD
eve想要向bob證明自己有alice的K
方法1: 把alice的任意加密訊息丟給bob - 不work，因為alice的訊息未必帶有認證關係
方法2: 把alice的「eve有alice的key」加密訊息丟給bob - work，因為訊息的確是由alice的key簽的，滿足認證關係的necessary condition (有key -> 能簽)
方法3: 把alice的協定X加密訊息丟給bob - work，滿足認證關係的necessary & sufficient condition (有key -> 能簽 + 能簽 -> 有key)
方法1: 把alice的任意加密訊息丟給bob - 不work，因為alice的訊息未必帶有認證關係
方法2: 把alice的「eve有alice的key」加密訊息丟給bob - work，因為訊息的確是由alice的key簽的，滿足認證關係的necessary condition (有key -> 能簽)
方法3: 把alice的協定X加密訊息丟給bob - work，滿足認證關係的necessary & sufficient condition (有key -> 能簽 + 能簽 -> 有key)
然後B讀取
msg = decrypt(priv_B, crypt)
hash = verify(pub_A, sig)
assert hash == md5(msg)
msg = decrypt(priv_B, crypt)
hash = verify(pub_A, sig)
assert hash == md5(msg)
A -> B
sig = sign(priv_A, md5("你有priv_b嗎"))
crypt = encrypt(pub_B, "你有priv_b嗎")
sig = sign(priv_A, md5("你有priv_b嗎"))
crypt = encrypt(pub_B, "你有priv_b嗎")
然後B讀取
msg = decrypt(priv_B, crypt)
hash = verify(pub_A, sig)
assert hash === md5(msg)
msg === "你有priv_b嗎"
B -> A
sig = sign(priv_B, md5("我有priv_b喔"))
crypt = encrypt(pub_B, "我有priv_b喔")
A讀取
msg = decrypt(priv_A, crypt)
hash = verify(pub_B, sig)
assert hash === md5(msg)
msg === "我有priv_b喔"
msg = decrypt(priv_B, crypt)
hash = verify(pub_A, sig)
assert hash === md5(msg)
msg === "你有priv_b嗎"
B -> A
sig = sign(priv_B, md5("我有priv_b喔"))
crypt = encrypt(pub_B, "我有priv_b喔")
A讀取
msg = decrypt(priv_A, crypt)
hash = verify(pub_B, sig)
assert hash === md5(msg)
msg === "我有priv_b喔"
但是呢，C不能這麼幹
sig = sign(priv_B, md5("我有priv_b喔"))
crypt = encrypt(pub_B, "我有priv_b喔")
sig = sign(priv_B, md5("我有priv_b喔"))
crypt = encrypt(pub_B, "我有priv_b喔")
我覺得你這言論跟在修電腦的時候
「我電腦壞了怎麼辦」
「我看看」
「你記憶體壞了 要換記憶體 維修費500 記憶體費1000」
「我當然知道記憶體壞了要換記憶體啊 廢話 幹嘛收我500」
「我電腦壞了怎麼辦」
「我看看」
「你記憶體壞了 要換記憶體 維修費500 記憶體費1000」
「我當然知道記憶體壞了要換記憶體啊 廢話 幹嘛收我500」
eve想要向bob證明自己有alice的K
方法1: 把alice的任意加密訊息丟給bob - 不work，因為alice的訊息未必帶有認證關係
方法2: 把alice的「eve有alice的key」加密訊息丟給bob - work，因為訊息的確是由alice的key簽的，滿足認證關係的necessary condition (有key -> 能簽)
方法3: 把alice的協定X加密訊息丟給bob - work，滿足認證關係的necessary & sufficient condition (有key -> 能簽 + 能簽 -> 有key)
方法1: 把alice的任意加密訊息丟給bob - 不work，因為alice的訊息未必帶有認證關係
方法2: 把alice的「eve有alice的key」加密訊息丟給bob - work，因為訊息的確是由alice的key簽的，滿足認證關係的necessary condition (有key -> 能簽)
方法3: 把alice的協定X加密訊息丟給bob - work，滿足認證關係的necessary & sufficient condition (有key -> 能簽 + 能簽 -> 有key)
@nekomata_saren 假設有 A B C 三人
A B C 三人都不知道自己的ID，但是別人都知道其他人的ID
B 有 priv_B 然後大家都知道 pub_B
那麼 A 要怎麼驗證 B 是否有 priv_B
A B C 三人都不知道自己的ID，但是別人都知道其他人的ID
B 有 priv_B 然後大家都知道 pub_B
那麼 A 要怎麼驗證 B 是否有 priv_B
Li-Fan Chen, [24.10.18 22:06]
[In reply to 🙈 Saren Arterius 🙈]
我們假設 ABC 三人
Li-Fan Chen, [24.10.18 22:06]
B 有私鑰
Li-Fan Chen, [24.10.18 22:06]
A是詢問者
Li-Fan Chen, [24.10.18 22:06]
C是該死的機掰人
Li-Fan Chen, [24.10.18 22:07]
C 跟 A 說他有私鑰
Li-Fan Chen, [24.10.18 22:07]
A 要他簽看看
Li-Fan Chen, [24.10.18 22:07]
於是 C 跑去跟 B 說 請B證明B有金鑰
Li-Fan Chen, [24.10.18 22:07]
要他簽看看
Li-Fan Chen, [24.10.18 22:07]
然後C再把那份檔案回傳給A
[In reply to 🙈 Saren Arterius 🙈]
我們假設 ABC 三人
Li-Fan Chen, [24.10.18 22:06]
B 有私鑰
Li-Fan Chen, [24.10.18 22:06]
A是詢問者
Li-Fan Chen, [24.10.18 22:06]
C是該死的機掰人
Li-Fan Chen, [24.10.18 22:07]
C 跟 A 說他有私鑰
Li-Fan Chen, [24.10.18 22:07]
A 要他簽看看
Li-Fan Chen, [24.10.18 22:07]
於是 C 跑去跟 B 說 請B證明B有金鑰
Li-Fan Chen, [24.10.18 22:07]
要他簽看看
Li-Fan Chen, [24.10.18 22:07]
然後C再把那份檔案回傳給A
open import System.IO using ( _>>_ ; putStr ; commit )
module System.IO.Examples.HelloWorld where
main = putStr "Hello, World\n" >> commit
module System.IO.Examples.HelloWorld where
main = putStr "Hello, World\n" >> commit
例子1:
A: $500
B: $999
A不叫價
->A虧蝕$500，B用$999得標賺$1
例子2:
A: $500
B: $990
A: $1500
B: $2500
->A虧蝕$1500，B用$2500得標虧蝕$1500
A: $500
B: $999
A不叫價
->A虧蝕$500，B用$999得標賺$1
例子2:
A: $500
B: $990
A: $1500
B: $2500
->A虧蝕$1500，B用$2500得標虧蝕$1500
我覺得海豹晚上社課的那個東西，我都用不正確的方式去撈到 Flag
有人要教教我他本來的做法ㄇWW
例如 function overwrite 跟 event_listener (#
沒寫過 web 不懂(逃
有人要教教我他本來的做法ㄇWW
例如 function overwrite 跟 event_listener (#
沒寫過 web 不懂(逃