СеcПАЛ — кенг кўламли тақсимланган ҳисоблаш муҳитларининг мураккаб киришни бошқариш талабларини қўллаб-қувватлаш учун ишлаб чиқилган, мантиққа асосланган декларатив хавфсизлик сиёсати тили.[1][2][3][4]


Манбалар