Formal Methods Analysis of the Secure Remote Password Protocol von Sherman, Alan T., Lanus, Erin, Liskov, Moses, Zieglar, Edward, Chang, Richard, Golaszewski, Enis, Wnuk-Fink, Ryan, Bonyadi, Cyrus J., Yaksetig, Mario, Blumenfeld, Ian

Volltext

Formal Methods Analysis of the Secure Remote Password Protocol von Sherman, Alan T, Lanus, Erin, Liskov, Moses, Zieglar, Edward, Chang, Richard, Golaszewski, Enis, Wnuk-Fink, Ryan, Bonyadi, Cyrus J, Yaksetig, Mario, Blumenfeld, Ian

Volltext bestellen

Formal Methods Analysis of the Secure Remote Password Protocol von Sherman, Alan T, Lanus, Erin, Liskov, Moses, Zieglar, Edward, Chang, Richard, Golaszewski, Enis, Wnuk-Fink, Ryan, Bonyadi, Cyrus J, Yaksetig, Mario, Blumenfeld, Ian

Volltext

Project-based learning continues to inspire cybersecurity students: the 2018--2019 SFS research studies at UMBC von Golaszewski, Enis, Sherman, Alan T., Oliva, Linda, Peterson, Peter A. H., Bailey, Michael R., Bohon, Scott, Bonyadi, Cyrus, Borror, Casey, Coleman, Ryan, Flenner, Johannah, Enamorado, Elias, Eren, Maksim E., Khan, Mohammad, Larbi, Emmanuel, Marshall, Kyle, Morgan, William, Mundy, Lauren, Onana, Gabriel, Orr, Selma Gomez, Parker, Lauren, Pinkney, Caleb, Rather, Mykah, Rodriguez, Jimmy, Solis, Bryan, Tete, Wubnyonga, Tsega, Tsigereda B., Valdez, Edwin, Varga, Charles K., Weber, Brian, Wnuk-Fink, Ryan, Yonkeu, Armand, Zetlmeisl, Lindsay, Doyle, Damian, O'Brien, Casey, Roundy, Joseph, Suess, Jack

Volltext

Effects of bovine prolactin gene polymorphism within exon 4 on milk related traits and genetic trends in Iranian Holstein bulls von Mehmannavaz, Y, Amirinia, C, Bonyadi, M, Torshizi, R V

Volltext