Conference
Προβολή σε EDS

Micro-Policies: Formally Verified, Tag-Based Security Monitors.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Micro-Policies: Formally Verified, Tag-Based Security Monitors.
Συγγραφείς: Amorim, Arthur Azevedo de, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew
Πηγή: 2015 IEEE Symposium on Security & Privacy; 2015, p813-830, 18p
Βάση Δεδομένων: Complementary Index
FullText Text:
  Availability: 0
Header DbId: edb
DbLabel: Complementary Index
An: 108862157
RelevancyScore: 852
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 852.145935058594
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Micro-Policies: Formally Verified, Tag-Based Security Monitors.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Amorim%2C+Arthur+Azevedo+de%22">Amorim, Arthur Azevedo de</searchLink><br /><searchLink fieldCode="AR" term="%22Denes%2C+Maxime%22">Denes, Maxime</searchLink><br /><searchLink fieldCode="AR" term="%22Giannarakis%2C+Nick%22">Giannarakis, Nick</searchLink><br /><searchLink fieldCode="AR" term="%22Hritcu%2C+Catalin%22">Hritcu, Catalin</searchLink><br /><searchLink fieldCode="AR" term="%22Pierce%2C+Benjamin+C%2E%22">Pierce, Benjamin C.</searchLink><br /><searchLink fieldCode="AR" term="%22Spector-Zabusky%2C+Antal%22">Spector-Zabusky, Antal</searchLink><br /><searchLink fieldCode="AR" term="%22Tolmach%2C+Andrew%22">Tolmach, Andrew</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: 2015 IEEE Symposium on Security & Privacy; 2015, p813-830, 18p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=108862157
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/SP.2015.55
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 18
        StartPage: 813
    Titles:
      – TitleFull: Micro-Policies: Formally Verified, Tag-Based Security Monitors.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Amorim, Arthur Azevedo de
      – PersonEntity:
          Name:
            NameFull: Denes, Maxime
      – PersonEntity:
          Name:
            NameFull: Giannarakis, Nick
      – PersonEntity:
          Name:
            NameFull: Hritcu, Catalin
      – PersonEntity:
          Name:
            NameFull: Pierce, Benjamin C.
      – PersonEntity:
          Name:
            NameFull: Spector-Zabusky, Antal
      – PersonEntity:
          Name:
            NameFull: Tolmach, Andrew
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: 2015
              Type: published
              Y: 2015
          Identifiers:
            – Type: isbn-print
              Value: 9781467369497
          Titles:
            – TitleFull: 2015 IEEE Symposium on Security & Privacy
              Type: main
ResultId 1