Edit Profile Rouse, Jason Compute Distance To: Compute Author ID: rouse.jason Published as: Rouse, Jason Documents Indexed: 1 Publication since 2005 Co-Authors 0 single-authored 1 Bauer, Lujo 1 Garriss, Scott 1 McCune, Jonathan M. 1 Reiter, Michael K. 1 Rutenbar, Peter Serials Fields 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 2 times in 2 Documents Cited by ▼ Year ▼ Device-enabled authorization in the grey system. Zbl 1159.68431Bauer, Lujo; Garriss, Scott; McCune, Jonathan M.; Reiter, Michael K.; Rouse, Jason; Rutenbar, Peter 2 2005 Device-enabled authorization in the grey system. Zbl 1159.68431Bauer, Lujo; Garriss, Scott; McCune, Jonathan M.; Reiter, Michael K.; Rouse, Jason; Rutenbar, Peter 2 2005 all top 5 Cited by 6 Authors 1 Abadi, Martín 1 Hadarean, Liana 1 Oe, Duckki 1 Reynolds, Andrew 1 Stump, Aaron 1 Tinelli, Cesare Cited in 1 Serial 1 Formal Methods in System Design Cited in 2 Fields 2 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Citations by Year