You know, everybody there probably said "Great paper, but it isn't a problem, because *no one would ever do that..."
-
-
-
This was discussed even earlier, during and shortly after the creation of the Orange Book. Some groups advocated for "beyond A1" to include proofs of correctness for code and hardware, but were told "that will never be a problem"
Kraj razgovora
Novi razgovor -
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
What you quoted is even citing a source from 1992 https://dl.acm.org/citation.cfm?id=120470 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
"This analysis is being performed under the auspices of the National Security Agency's Trusted Evaluation Program (TPEP)".pic.twitter.com/LKuYvmvAFO
- Još 1 odgovor
Novi razgovor -
-
-
Wow! Where was this gem hiding for the past 22 years?
-
Best paper in the 1995 IEEE Symposium on Security and Privacy (aka Oakland conference), the oldest academic security conference, held annually since 1980.
Kraj razgovora
Novi razgovor -
-
-
worst case scenario is that gov agencies read those papers back then and used them. Then we'd be just like 20 years behind the curve...
-
i mean, like it was often assumed anyway, just true.
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
