Filters








3,989 Hits in 6.1 sec

Labels and event processes in the asbestos operating system

Petros Efstathopoulos, Maxwell Krohn, Steve VanDeBogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, Frans Kaashoek, Robert Morris
2005 ACM SIGOPS Operating Systems Review  
Asbestos, a new prototype operating system, provides novel labeling and isolation mechanisms that help contain the effects of exploitable software flaws.  ...  A new event process abstraction provides lightweight, isolated contexts within a single process, allowing the same process to act on behalf of multiple users while preventing it from leaking any single  ...  on an earlier version of the system; the contributors to the LWIP project, including Adam Dunkels and Leon Woestenberg; the anonymous reviewers; and our shepherd Emin Gün Sirer.  ... 
doi:10.1145/1095809.1095813 fatcat:fascf7yijrgkdp7bhfwotbhyzy

Labels and event processes in the asbestos operating system

Petros Efstathopoulos, Maxwell Krohn, Steve VanDeBogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, Frans Kaashoek, Robert Morris
2005 Proceedings of the twentieth ACM symposium on Operating systems principles - SOSP '05  
Asbestos, a new prototype operating system, provides novel labeling and isolation mechanisms that help contain the effects of exploitable software flaws.  ...  A new event process abstraction provides lightweight, isolated contexts within a single process, allowing the same process to act on behalf of multiple users while preventing it from leaking any single  ...  on an earlier version of the system; the contributors to the LWIP project, including Adam Dunkels and Leon Woestenberg; the anonymous reviewers; and our shepherd Emin Gün Sirer.  ... 
doi:10.1145/1095810.1095813 dblp:conf/sosp/EfstathopoulosKVFZKMKM05 fatcat:qrl6vjmmdbfrlaqaszhnlm7shi

Labels and event processes in the Asbestos operating system

Steve Vandebogart, Petros Efstathopoulos, Eddie Kohler, Maxwell Krohn, Cliff Frey, David Ziegler, Frans Kaashoek, Robert Morris, David Mazières
2007 ACM Transactions on Computer Systems  
Asbestos, a new prototype operating system, provides novel labeling and isolation mechanisms that help contain the effects of exploitable software flaws.  ...  A new event process abstraction provides lightweight, isolated contexts within a single process, allowing the same process to act on behalf of multiple users while preventing it from leaking any single  ...  on an earlier version of the system; the contributors to the LWIP project, including Adam Dunkels and Leon Woestenberg; the anonymous reviewers; and our shepherd Emin Gün Sirer.  ... 
doi:10.1145/1314299.1314302 fatcat:myf6tcu4nbfrjgakvgbwfqusee

Manageable fine-grained information flow

Petros Efstathopoulos, Eddie Kohler
2008 ACM SIGOPS Operating Systems Review  
Although these mechanisms are preliminary, we demonstrate their effectiveness using applications similar to those developed for Asbestos and other DIFC systems.  ...  Static checking (as in language-based DIFC) and new system primitives can reduce these problems, but for dynamic applications like web servers, they do not eliminate them.  ...  system, and the anonymous reviewers and our shepherd Petros Maniatis for their comments and suggestions.  ... 
doi:10.1145/1357010.1352624 fatcat:lzwkcacyjnej3hg3ubshvlzewa

Manageable fine-grained information flow

Petros Efstathopoulos, Eddie Kohler
2008 Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008 - Eurosys '08  
Although these mechanisms are preliminary, we demonstrate their effectiveness using applications similar to those developed for Asbestos and other DIFC systems.  ...  Static checking (as in language-based DIFC) and new system primitives can reduce these problems, but for dynamic applications like web servers, they do not eliminate them.  ...  system, and the anonymous reviewers and our shepherd Petros Maniatis for their comments and suggestions.  ... 
doi:10.1145/1352592.1352624 dblp:conf/eurosys/EfstathopoulosK08 fatcat:x7ljaqml7nbfrnelaqtu2bpqxi

Information Flow Control for Secure Cloud Computing

Jean Bacon, David Eyers, Thomas F. J.-M. Pasquier, Jatinder Singh, Ioannis Papagiannis, Peter Pietzuch
2014 IEEE Transactions on Network and Service Management  
In this paper we describe the properties of cloud computing-Platform-as-a-Service clouds in particular-and review a range of IFC models and implementations to identify opportunities for using IFC within  ...  Since IFC security is linked to the data that it protects, both tenants and providers of cloud services can agree on security policy, in a manner that does not require them to understand and rely on the  ...  Event Processing Units (EPUs) generate, process and filter events in accordance with the system's functional requirements, and are responsible for labelling the events they produce.  ... 
doi:10.1109/tnsm.2013.122313.130423 fatcat:oczijxwkfvdtrgar6nvab4ypem

Noninterference for a Practical DIFC-Based Operating System

Maxwell Krohn, Eran Tromer
2009 2009 30th IEEE Symposium on Security and Privacy  
This paper compares Flume with other recent DIFC systems like Asbestos, arguing that the latter is inherently susceptible to certain wide-bandwidth covert channels, and proving their absence in Flume by  ...  means of a noninterference proof in the Communicating Sequential Processes formalism.  ...  Much of the material in this paper appeared in Maxwell Krohn's doctoral thesis, advised by Frans Kaashoek, Robert Morris and Eddie Kohler, and read by Butler Lampson. We thank them all for  ... 
doi:10.1109/sp.2009.23 dblp:conf/sp/KrohnT09 fatcat:fzhg7p7hqjf7hifqh4xxz3fmsa

Page 8 of AMC Journal Vol. 78, Issue 3 [page]

1992 AMC Journal  
Another major event in 1991 affecting industrial minerals was the October decision of the Court of Appeals that overturned the Environmental Protection Agency's (EPA) ban on the use of asbestos.  ...  the economic outlook for various mineral commodities and the mining and mineral processing equipment industry.  ... 

A Noninterference Model for Mobile OS Information Flow Control and Its Policy Verification

Zhanhui Yuan, Wenfa Li, Zhi Yang, Lei Sun, Xuehui Du, Hongqi Zhang, Joni Zhong
2021 Security and Communication Networks  
Recent decentralized information flow control (DIFC) operating systems such as Asbestos, HiStar, and Flume dynamically adjust the label of each process.  ...  We present an enhanced implicit label change model (EILCM) for mobile operating systems that can close the known covert channel in these models with implicit label change and supports dynamic constraints  ...  Asbestos [16] , HiStar [17] , and Flume [18] are classical DIFC operating systems.  ... 
doi:10.1155/2021/2481818 fatcat:ml32upc2xrbtngkfdaojarewyq

Pileus

Yuqiong Sun, Giuseppe Petracca, Xinyang Ge, Trent Jaeger
2016 Proceedings of the 32nd Annual Conference on Computer Security Applications - ACSAC '16  
Research efforts in cloud security have focused primarily on attacks originating from user VMs or compromised operating systems rather than threats caused by the compromise of distributed cloud services  ...  for the operation.  ...  The authors thank Danfeng Zhang, Susanta Nanda and the anonymous reviewers for their comments on drafts of this paper. This work was supported by NSF under grant No. CNS-1117692.  ... 
doi:10.1145/2991079.2991109 fatcat:kiv4rb72yvdxtee3umm5mxt34m

Interactions of chrysotile asbestos with erythrocyte membranes

A R Brody, L H Hill
1983 Environmental Health Perspectives  
Cell distortion and membrane deformation consequent to asbestos treatment correlate with a clear increase in the ratio of intracellular Na+:K+ ions.  ...  Chrysotile asbestos causes lysis of red blood cells. It has been proposed that the mechanism of hemolysis is mediated through interactions between asbestos and cell membrane glycoproteins.  ...  Whether or not these mechanisms are operative in pulmonary cells affected by asbestos is the subject of ongoing studies.  ... 
doi:10.1289/ehp.835185 pmid:6315387 pmcid:PMC1569257 fatcat:olnz6pyuqbcz7c7i7rptruugdq

Making information flow explicit in HiStar

Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, David Mazières
2011 Communications of the ACM  
HiStar is a new operating system designed to minimize the amount of code that must be trusted.  ...  The system has no notion of superuser and no fully trusted code other than the kernel.  ...  We also thank the Asbestos group, especially Steve VanDeBogart and Petros Efstathopoulos, who co-designed Asbestos labels.  ... 
doi:10.1145/2018396.2018419 fatcat:cfyia3pesnesthcyxvgvigtiwq

Assessing Earthquake-Induced Urban Rubble by Means of Multiplatform Remotely Sensed Data

Maurizio Pollino, Sergio Cappucci, Ludovica Giordano, Domenico Iantosca, Luigi De Cecco, Danilo Bersan, Vittorio Rosato, Flavio Borfecchia
2020 ISPRS International Journal of Geo-Information  
the Random Forest, which was the only one able to detect the likely presence of asbestos.  ...  Earthquake-induced rubble in urbanized areas must be mapped and characterized.  ...  The work presented in the paper has been conducted also in the framework of EISAC.it (www.eisac.it), a joint ENEA and INGV collaboration agreement.  ... 
doi:10.3390/ijgi9040262 fatcat:xhj5cidovrfevoxt5vt4oveloa

Ecological Security in Lithuania: The current Situation and Problems

Irena Gavėnienė
2008 Lithuanian Annual Strategic Review  
control systems, and the lack of bypasses, whereas the risks in the sector of water consumption safety were posed by a worn out central water supply networks, insufficient quality of the drinking water  ...  in the spheres of ecological security and pollution prevention.  ...  of the hazard area; • To extinguish fires and carry out rescue operations; • To maintain public order in the disaster area and provide medical aid and carry out public health care in the event of an emergency  ... 
doi:10.47459/lasr.2008.6.13 fatcat:yczupe4elbhhngbxe2nfheqoxq

The epidemiology of malignant mesothelioma in women: gender differences and modalities of asbestos exposure

Alessandro Marinaccio, Marisa Corfiati, Alessandra Binazzi, Davide Di Marzio, Alberto Scarselli, Pierpaolo Ferrante, Michela Bonafede, Marina Verardo, Dario Mirabelli, Valerio Gennaro, Carolina Mensi, Gert Schallemberg (+22 others)
2017 Occupational and Environmental Medicine  
in several industrial settings. enhancing the awareness of mesothelioma aetiology in women could support the effectiveness of welfare system and prevention policies.  ...  Occupational exposures for female MM cases occurred in the chemical and plastic industry, and mainly in the non-asbestos textile sector. gender ratio proved to be inversely correlated with mortality rate  ...  , asbestos has been intensively used in a number of industrial applications between the 1950s and the 1980s in almost all Western countries and, at present, it is still freely extracted and processed in  ... 
doi:10.1136/oemed-2016-104119 pmid:29269563 pmcid:PMC5878657 fatcat:dvs6p53xcjephct3kppt55yvia
« Previous Showing results 1 — 15 out of 3,989 results