Mastodawn

🌘 可驗證安全作業系統（PSOS）的基礎
➤ 以形式化驗證打造不可逾越的資安防線
✤ http://www.csl.sri.com/users/neumann/psos.pdf
本文介紹了「可驗證安全作業系統」（PSOS）的設計架構。該系統採用 SRI 分層開發方法論（HDM），利用 SPECIAL 語言對系統進行形式化描述與驗證，確保程式碼與安全需求完全一致。PSOS 的核心安全機制基於「權限碼」（Capability）系統，透過系統級的標記技術與唯一識別碼，嚴格控管對所有物件的存取。這種設計不僅簡化了權限管理，還能透過嚴謹的數學推導驗證安全性，從而解決傳統作業系統在安全性上的不確定性。
+ 1979 年的論文能有這種系統化、模組化的思維，即便放到今天來看，這種對於形式化驗證的執著也依然是作業系統研究的高標。
+ 權限碼（Capability）系統的設計極具巧思，特別是將唯一識別碼與存取控制權限分離，不僅符合最小權限原則，更在硬體層面保障了不可偽造性。
#電腦安全 #作業系統設計 #形式化驗證 #HDM

🅱🅸🅶🅾🆁🆁🅴.🅾🆁🅶 Feb 13

Aviation weather for Hamadan airport (Iran) is “OIHH 130600Z 24010KT 9999 FEW040 SCT180 11/M01 Q1020 A3012” : See what it means on https://www.bigorre.org/aero/meteo/oihh/en #hamadanairport #airport #hamadan #iran #oihh #hdm #metar #aviation #aviationweather #avgeek vl

Hamadan airport (Iran) aviation weather and informations OIHH HDM

Aviation weather with TAF and METAR, Maps, hotels and aeronautical information for Hamadan airport (Iran)

Bigorre.org

Reddit Tech VN Bot Jan 23

ReactOS, hệ điều hành mã nguồn mở "Windows-like", chính thức tròn 30 tuổi. Dự án bắt đầu từ năm 1996 với mục tiêu tạo ra phiên bản tương thích hoàn toàn với Windows NT. Sau hàng thập kỷ phát triển, ReactOS vẫn đang tiếp tục được cộng đồng cải thiện, hướng đến một HĐH nhẹ, linh hoạt và miễn phí. #ReactOS #OpenSource #HĐM #CôngNghệ #OS #MãNguồnMở

https://www.reddit.com/r/opensource/comments/1qkv8rj/open_source_windows_reactos_is_now_30_years_old/

🅱🅸🅶🅾🆁🆁🅴.🅾🆁🅶 Jan 3

Aviation weather for Hamadan airport (Iran) is “OIHH 030600Z 10004KT 6000 FEW040CB SCT045 BKN090 02/01 Q1022 A3019” : See what it means on https://www.bigorre.org/aero/meteo/oihh/en #hamadanairport #airport #hamadan #iran #oihh #hdm #metar #aviation #aviationweather #avgeek vl

Hamadan airport (Iran) aviation weather and informations OIHH HDM

Aviation weather with TAF and METAR, Maps, hotels and aeronautical information for Hamadan airport (Iran)

Bigorre.org

ICEM pédagogie Freinet Dec 9

Prochainement une nouvelle série dans la collection Histoire de Mots...

Aller sur la Lune
Claire est attirée par la Lune. Elle voudrait y aller. Pour cela, elle essaie dʼutiliser plusieurs éléments de son environnement...

Les poules de Caroline
Lundi Caroline a trois poules. Mais que se passe-t-il dans la semaine ?

L'orage
Souvent lʼorage fait peur. Les enfants cherchent à se protéger...

Et toujours la première série :
https://www.icem-vente-en-ligne.org/catalog/11

#icem #freinet #histoiresdemots #hdm

🅱🅸🅶🅾🆁🆁🅴.🅾🆁🅶 Dec 8

Aviation weather for Hamadan airport (Iran) is “OIHH 080500Z 07006KT 9999 SCT040 OVC100 10/M04 Q1022 A3020” : See what it means on https://www.bigorre.org/aero/meteo/oihh/en #hamadanairport #airport #hamadan #iran #oihh #hdm #metar #aviation #aviationweather #avgeek vl

Hamadan airport (Iran) aviation weather and informations OIHH HDM

Aviation weather with TAF and METAR, Maps, hotels and aeronautical information for Hamadan airport (Iran)

Bigorre.org

betadots GmbH Dec 5

New HDM Release v4.0.0!

We have released HDM version 4.0.0 introducing new features, such as the ability to display the entire data structure. All New Features:

✔️ Chore: update rubocop to 1.77.0
✔️ Rename email to username
✔️ Enhance ldap configuration
✔️ Bump ruby version to 3.4.5
✔️ Implement new “data tree” view

An overview of all updates and bug fixes can be found on GitHub: https://github.com/betadots/hdm/releases

#hiera #hdm #opensource

ICEM pédagogie Freinet Dec 2

Histoire de Mots : la suite ...

Merci d'avoir partagé cette collecte qui a été un succès.
Grâce à vous toutes et tous, une première série de trois titres de la nouvelle collection Histoire de Mots aux éditions ICEM a été imprimée.

Vos contributions vont permettre l’édition de la deuxième série.

À retrouver ici :

https://www.icem-vente-en-ligne.org/catalog/11

Voir le tourne page d'un livre :

https://ladigitale.dev/digiflip/#/f/692f139079dd1

Votre aide nous est précieuse pour faire vivre cette collection...

#editionsicem #hdm