Results 21 to 30 of about 120,188 (304)

Closure Report for Corrective Action Unit 121: Storage Tanks and Miscellaneous Sites, Nevada Test Site, Nevada [PDF]

, 2008
Corrective Action Unit (CAU) 121 is identified in the Federal Facility Agreement and Consent Order (FFACO) (1996, as amended February 2008) as Storage Tanks and Miscellaneous Sites.
National Security Technologies, LLC
core   +1 more source

An Efficient and Secure Anonymous Authentication Scheme for VANETs Based on the Framework of Group Signatures

IEEE Access, 2018
Vehicular ad hoc networks (VANETs) have stimulated interests in both academic and industry settings. Once deployed, they would bring a new driving experience to drivers.
Xiaohan Yue, Bing Chen, Xibo Wang, Yong Duan, Mingchao Gao, Yuan He   +5 more
doaj   +1 more source

Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]

, 2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core   +1 more source

Toward Forward Secure SSE Supporting Conjunctive Keyword Search

IEEE Access, 2019
The primitive of Searchable Symmetric Encryption (SSE) allows a server to perform search directly over encrypted documents. Recently, forward secure SSE (FSSE) has attracted significant attention due to its secure property for document update.
Yunling Wang, Jianfeng Wang, Shifeng Sun, Meixia Miao, Xiaofeng Chen   +4 more
doaj   +1 more source

Forward-Secure Hierarchical Predicate Encryption [PDF]

The Computer Journal, 2013
Secrecy of decryption keys is an important pre-requisite for security of any encryption scheme and compromised private keys must be immediately replaced. \emph{Forward Security (FS)}, introduced to Public Key Encryption (PKE) by Canetti, Halevi, and Katz (Eurocrypt 2003), reduces damage from compromised keys by guaranteeing confidentiality of messages ...
Juan Manuel González Nieto, Mark Manulis, Dongdong Sun   +2 more
openaire   +5 more sources

Keys under doormats - mandating insecurity by requiring government access to all data and communications [PDF]

, 2015
Twenty years ago, law enforcement organizations lobbied to require data and communication services to engineer their products to guarantee law enforcement access to all data.
Harold Abelson, Weitzner, Daniel J., Blaze, Matt, Susan Landau, Abelson, Harold, Specter, Michael A., Bruce Schneier, Schneier, Bruce, Matthew Blaze, Jeffrey Schiller, Daniel Weitzner, John Gilmore, Neumann, Peter G., Ronald Rivest, Anderson, Ross, Bellovin, Steven M., Benaloh, Josh, Rivest, Ronald L., Gilmore, John, Matthew Green, Josh Benaloh, Green, Matthew, Diffie, Whitfield, Schiller, Jeffrey I., Specter, Michael, Whitfield Diffie, Bellovin, Steven Michael, Steven Bellovin, Michael Specter, Ross Anderson, Peter Neumann, Landau, Susan, Abelson, Hal   +32 more
core   +1 more source

Conditional Privacy-Preserving Anonymous Authentication Scheme With Forward Security in Vehicle-to-Grid Networks

IEEE Access, 2020
In the Vehicle-to-Grid (V2G) network, the electric vehicles (EVs) need to report their respective information, such as vehicle identity, battery capacity, battery state of charge (SoC), current location, and driving direction, to the power grid through ...
Qinglong Wang, Min Ou, Yun Yang, Zongtao Duan   +3 more
doaj   +1 more source

Priority research questions for the UK food system [PDF]

, 2013
The rise of food security up international political, societal and academic agendas has led to increasing interest in novel means of improving primary food production and reducing waste.
Ingram, John S I, Tassou, S., Benton, Tim G., Miller, Anne, Dolan, Catherine S, Sutherland, William J, Timothy Aldred, Knox, J. W., Kaiser, M.J., Norton, Ian T., Macdiarmid, Jennie I, Fitzpatrick, JL, Quested, TE, Murray, C, Kennard, R., Crossley, Daniel S., McGonigle, D.F., Macdiarmid, Jennie I., Terry, L. A., Murray, Calum, Finney, K. J., Ian T. Norton, Brocklehurst, Tim F., Leon A. Terry, Judith Buttriss, Millar, S.J., Brocklehurst, Tim F, Mead, Angela, Terry, Leon A, John Casey, William Vorley, Charles S. Bestwick, Benton, T.G., Crossley, D.S., Kuyk, A., Jennie I. Macdiarmid, Buttriss, J, Kuyk, A, Wright, HL, Bows-Larkin, A., Crossley, D. S., Martindale, Wayne, Brocklehurst, T. F., Garrett, D.A., Kaiser, Michel J.; id_orcid, Stephen Parry, Kennard, Robert, Foster, Lucy, Houlston, Eleanor J, Fowler, M., Dolan, C.S., Buttriss, Judith, Mathers, J. C., Daniel S. Crossley, Benton, Tim G, Mead, A., Alice Bows-Larkin, Kaiser, Michel J, Mathers, J.C., David Barling, Catherine S. Dolan, Houlston, EJ, McGonigle, Daniel F., Finney, Karen J, Mead, A, Marilena Pollicino, Garrett, David A., Murray, C., Aldred, Timothy, Michel J. Kaiser, Ingram, J. S. I., Norton, I.T., Hugh L. Wright, Millar, Samuel J, Andrew Kuyk, Edwards, R., Casey, J, Linter, B.R., Fowler, M, van de Graaf, P., Vorley, W., Bows-Larkin, Alice; id_orcid, Aldred, T., Paul M. Berryman, Tiffin, R, Parry, S., Macdiarmid, JI, Foster, L, Andrew Godley, Calum Murray, Martindale, W., Fitzpatrick, J.L., Pollicino, Marilena, Berryman, Paul M, Robert Edwards, Collins, H, Finney, KJ, Quested, Thomas E, McGonigle, DF, Griffiths, W., Martindale, W, Garrett, David A, Dowler, Elizabeth, Fowler, Mark, Linter, Bruce R, Angela Mead, Fitzpatrick, J. L., Edwards, Robert, Norton, I. T., Millar, Samuel J., Thomas E. Quested, Robert Kennard, Bestwick, C. S., Vorley, William, Ingram, JSI, Tim G. Benton, Barling, D., Sutherland, William J., Dolan, Catherine S., Brocklehurst, T.F., Godfrey, J.E., McGonigle, Daniel F, Tassou, S, Jim E. Godfrey, Linter, B. R., Macdiarmid, J.I., William J. Sutherland, Terry, L.A., Godley, A., Kaiser, Michel J., Casey, J., Karen J. Finney, Julie L. Fitzpatrick, Wright, Hugh, Wright, H.L., Vorley, W, Aldred, Tim, Andrew Westby, Mathers, JC, Knox, Jerry W, Mathers, John C, Miller, A., Godley, A, Casey, John, Ingram, John S. I., Berryman, P.M., et, al, Finney, Karen J., Dowler, E, Fitzpatrick, Julie L, Garrett, DA, Graaf, P, Wright, H. L., Godfrey, Jim E, Elizabeth Dowler, David A. Garrett, Bestwick, Charles S, Bows-Larkin, Alice, McGonigle, D. F., Westby, A, Crossley, Daniel S, Houlston, E.J., Eleanor J. Houlston, Dowler, E., Berryman, PM, Finney, K.J., Crossley, DS, Kennard, R, Macdiarmid, J. I., Benton, T., Quested, T.E., John S. I. Ingram, Benton, TG, Brocklehurst, TF, Foster, L., Tiffin, R., Norton, Ian T, Dolan, CS, Godley, Andrew, Pollicino, M., Griffiths, William, William Griffiths, Barling, David, Linter, BR, Pieter van de Graaf, Parry, S, Ingram, J.S.I., Wright, Hugh L, Aldred, T, van de Graaf, Pieter, Sutherland, WJ, Lucy Foster, Westby, A., Bows-Larkin, A, Knox, J.W., Norton, IT, Millar, SJ, Knox, JW, Tim F. Brocklehurst, Graaf, P., Knox, Jerry W., Kuyk, Andrew, Tassou, Savvas, Dolan, C. S., Collins, Hannah, Mathers, John C., Wright, Hugh L., Collins, H., Sutherland, W. J., Pieter, van de Graaf, Samuel J. Millar, Dolan, Catherine, Godfrey, Jim E., Bestwick, CS, Houlston, Eleanor J., Kaiser, MJ, Bestwick, C.S., Daniel F. McGonigle, Ingram, John S.I., Berryman, Paul M., John C. Mathers, Anne Miller, Parry, Stephen, Sutherland, W.J., Buttriss, J., Berryman, P. M., Linter, Bruce R., Quested, Thomas E., Savvas Tassou, Godfrey, JE, Richard Tiffin, Wayne Martindale, Miller, A, Terry, LA, Fitzpatrick, Julie L., Barling, D, Griffiths, W, Edwards, R, Millar, S. J., Tiffin, Richard, Jerry W. Knox, Godley, Andrew R., Terry, Leon A., Pollicino, M, Hannah Collins, Bruce R. Linter, Ingram, John, Bestwick, Charles S., Mark Fowler, Westby, Andrew   +249 more
core   +1 more source

A Forward-Secure Digital Signature Scheme [PDF]

, 1999
We describe a digital signature scheme in which the public key is fixed but the secret signing key is updated at regular intervals so as to provide a forward security property: compromise of the current secret key does not enable an adversary to forge signatures pertaining to the past.
Mihir Bellare, Sara K. Miner
openaire   +2 more sources

On Forward-Secure Storage [PDF]

, 2006
We study a problem of secure data storage in a recently introduced Limited Communication Model. We propose a new cryptographic primitive that we call a Forward-Secure Storage (FSS). This primitive is a special kind of an encryption scheme, which produces huge (5 GB, say) ciphertexts, even from small plaintexts, and has the following non-standard ...
openaire   +1 more source