Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(9)
John D. Ramsdell
1
Joshua D. Guttman
1
Amy L. Herzog
1
Peter A. Loscocco
1
Brian T. Sniffen
1
Journals
(1)
International Journal of Information Security
1
Keywords
(3)
Embed
Subscribe
Academic
Authors
Ariel Segall
Edit
Ariel Segall
The MITRE Corporation
Publications: 1
|
Citations: 2
|
G-Index: 1
|
H-Index: 1
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Security & Privacy
View FAQ about top research area and research interests
Collaborated with
9 co-authors
in 2011
; Cited by
4 authors
Bing
Cumulative
Annual
Order by:
Publications
(1)
BibTeX
|
RIS
|
RefWorks
Download
Principles of remote attestation
(
Citations: 2
)
George Coker
,
Joshua D. Guttman
,
Peter Loscocco
,
Amy L. Herzog
,
Jonathan Millen
,
Brian O’Hanlon
,
John D. Ramsdell
,
Ariel Segall
,
Justin Sheehy
,
Brian T. Sniffen
Journal:
International Journal of Information Security
, vol. 10, no. 2, pp. 63-81, 2011
Order by:
Citations
(2 times by 2 publications)
Formal Analysis of Protocols Based on TPM State Registers
(
Citations: 1
)
Stephanie Delaune
,
Steve Kremer
,
Mark D. Ryan
,
Graham Steel
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 66-80, 2011
A Formal Analysis of Authentication in the TPM
(
Citations: 2
)
Stéphanie Delaune
,
Steve Kremer
,
Mark Dermot Ryan
,
Graham Steel
Conference:
Workshop on Issues in the Theory of Security - WITS
, pp. 111-125, 2010
Comments