Search

Your search keyword '"RANISE A"' showing total 1,839 results
Start Over Author "RANISE A"

Refine your results

more »

more »

more »

more »
1,839 results on '"RANISE A"'

160. Analysis of XACML Policies with SMT

Author

Turkmen, Fatih, den Hartog, Jerry, Ranise, Silvio, Zannone, Nicola, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Focardi, Riccardo, editor, and Myers, Andrew, editor

Published
2015
Full Text
View/download PDF

161. Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios

Author

dos Santos, Daniel R., Ranise, Silvio, Compagna, Luca, Ponta, Serena E., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Samarati, Pierangela, editor

Published
2015
Full Text
View/download PDF

174. Incremental Analysis of Evolving Administrative Role Based Access Control Policies

Author

Ranise, Silvio, Truong, Anh, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Atluri, Vijay, editor, and Pernul, Günther, editor

Published
2014
Full Text
View/download PDF

175. ALPS: An Action Language for Policy Specification and Automated Safety Analysis

Author

Ranise, Silvio, Traverso, Riccardo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Mauw, Sjouke, editor, and Jensen, Christian Damsgaard, editor

Published
2014
Full Text
View/download PDF

176. Selective Release of Smart Metering Data in Multi-domain Smart Grids

Author

Armando, Alessandro, Carbone, Roberto, Chekole, Eyasu Getahun, Petrazzuolo, Claudio, Ranalli, Andrea, Ranise, Silvio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Cuellar, Jorge, editor

Published
2014
Full Text
View/download PDF

177. Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations

Author

Armando, Alessandro, Oudkerk, Sander, Ranise, Silvio, Wrona, Konrad, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Danger, Jean Luc, editor, Debbabi, Mourad, editor, Marion, Jean-Yves, editor, Garcia-Alfaro, Joaquin, editor, and Zincir Heywood, Nur, editor

Published
2014
Full Text
View/download PDF

178. Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control

Author

Sergii Kushch, Yurii Baryshev, and Silvio Ranise

Subjects
Blockchain, ID-card, personal data protection, Blockchain Tree, Blockchain for persons’ identification, Chemical technology, TP1-1185
Abstract

This paper introduces a new method of Blockchain formation for reliable storage of personal data of ID-card holders. In particular, the model of the information system is presented, the new structure of smart ID-cards and information on these cards are proposed. The new structure of Blockchain, “Blockchain Tree”, allows not only to store information from ID-cards but also to increase the level of security and access control to this information. The proposed Subchains system allows us to integrate Blockchain of the lower level to Blockchain of the higher level, allowing us to create a multilevel protected system.

Published
2020
Full Text
View/download PDF

182. Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows

Author

Bertolissi, Clara, Ranise, Silvio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Fontaine, Pascal, editor, Ringeissen, Christophe, editor, and Schmidt, Renate A., editor

Published
2013
Full Text
View/download PDF

183. Boosting Model Checking to Analyse Large ARBAC Policies

Author

Ranise, Silvio, Truong, Anh, Armando, Alessandro, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jøsang, Audun, editor, Samarati, Pierangela, editor, and Petrocchi, Marinella, editor

Published
2013
Full Text
View/download PDF

184. Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities

Author

Barletta, Michele, Ranise, Silvio, Viganò, Luca, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jøsang, Audun, editor, Samarati, Pierangela, editor, and Petrocchi, Marinella, editor

Published
2013
Full Text
View/download PDF

195. On the Automated Analysis of Safety in Usage Control: A New Decidability Result

Author

Ranise, Silvio, Armando, Alessandro, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Xu, Li, editor, Bertino, Elisa, editor, and Mu, Yi, editor

Published
2012
Full Text
View/download PDF

196. Automated and Efficient Analysis of Role-Based Access Control with Attributes

Author

Armando, Alessandro, Ranise, Silvio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Cuppens-Boulahia, Nora, editor, Cuppens, Frédéric, editor, and Garcia-Alfaro, Joaquin, editor

Published
2012
Full Text
View/download PDF

197. SAFARI: SMT-Based Abstraction for Arrays with Interpolants

Author

Alberti, Francesco, Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio, Sharygina, Natasha, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Madhusudan, P., editor, and Seshia, Sanjit A., editor

Published
2012
Full Text
View/download PDF

198. Automated Analysis of Infinite State Workflows with Access Control Policies

Author

Armando, Alessandro, Ranise, Silvio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Meadows, Catherine, editor, and Fernandez-Gago, Carmen, editor

Published
2012
Full Text
View/download PDF

199. Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms

Author

Bruttomesso, Roberto, Carioni, Alessandro, Ghilardi, Silvio, Ranise, Silvio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goodloe, Alwyn E., editor, and Person, Suzette, editor

Published
2012
Full Text
View/download PDF

200. Lazy Abstraction with Interpolants for Arrays

Author

Alberti, Francesco, Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio, Sharygina, Natasha, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bjørner, Nikolaj, editor, and Voronkov, Andrei, editor

Published
2012
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results