Anonymous Public Announcements

We formalise the notion of an anonymous public announcement in the tradition of public announcement logic. Such announcements can be seen as in-between a public announcement from "the outside" an announcement of $φ$ and a public announcement by one of the agents an announcement of $Kaφ$: we get...

org.switchyard.components:switchyard-component-bpm (>=0.7.0.final, <=0.8.0.final), org.switchyard.components:switchyard-component-common-knowledge (>=0.7.0.final, <=0.8.0.final) +2 more potentially affected by CVE-2022-1415 via org.drools:drools-core (6.0.0.alpha6)

org.drools:drools-core MAVEN version 6.0.0.alpha6 is affected by a known vulnerability. The following packages have a transitive dependency on org.drools:drools-core and may be impacted: - org.switchyard.components:switchyard-component-bpm =0.7.0.final, =0.7.0.final, =0.7.0.final, =0.7.0.final,...

FBI-CISA Joint Advisory on Compromise of Microsoft Exchange Server

CISA and the Federal Bureau of Investigation FBI have released a Joint Cybersecurity Advisory CSA to address recently disclosed vulnerabilities in Microsoft Exchange Server. CISA and FBI assess that adversaries could exploit these vulnerabilities to compromise networks, steal information, encrypt...